Verifying a secure authentication protocol for IoT medical devices.
Woo-Sik BaePublished in: Clust. Comput. (2019)
Keyphrases
- authentication protocol
- medical devices
- rfid systems
- smart card
- security analysis
- user authentication
- lightweight
- password authentication
- authentication scheme
- security protocols
- finite state machines
- public key
- cryptographic protocols
- model checking
- rfid tags
- mutual authentication
- secret key
- location aware
- authentication mechanism
- operating room
- trusted third party
- key management
- mobile computing
- security requirements
- regular expressions
- data distribution