A Formal Security Verification on He and Zeadally's Authentication Protocol for IMD-Enabled Ambient Assisted Living System.
Daniel Gerbi DugumaJiyoon KimBonam KimIlsun YouPublished in: ICEA (2020)
Keyphrases
- authentication protocol
- ambient assisted living
- cryptographic protocols
- security protocols
- ambient intelligence
- smart card
- security analysis
- lightweight
- formal methods
- public key
- rfid tags
- smart home
- formal analysis
- ubiquitous computing
- rfid systems
- daily activities
- smart environments
- service oriented
- human activities
- secret key
- security requirements
- security mechanisms
- pervasive computing
- security issues
- context awareness
- hash functions
- information security
- context aware