Login / Signup

APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System.

Jiyoon KimJongmin OhDaehyeon SonHoseok KwonPhilip Virgil AstilloIlsun You
Published in: Sensors (2023)
Keyphrases
  • security analysis
  • authentication protocol
  • security protocols
  • security properties
  • security requirements
  • software architecture
  • embedded systems
  • authentication scheme
  • databases
  • high security