• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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