Verifying Secure Authentication Protocol for Communication between IoT-based Medical Devices.
Nipon Theera-UmponKun-Hee HanWoo-Sik BaeSanghyuk LeeVan Huy PhamPublished in: J. Univers. Comput. Sci. (2018)
Keyphrases
- authentication protocol
- medical devices
- rfid systems
- smart card
- security analysis
- password authentication
- user authentication
- security protocols
- cryptographic protocols
- key distribution
- lightweight
- rfid tags
- public key
- secure communication
- secret key
- mutual authentication
- model checking
- group communication
- finite state machines
- authentication mechanism
- database systems
- resource constrained
- real time
- key management
- location aware
- security mechanisms
- computer networks
- information sharing
- operating room
- cloud computing
- x ray
- sensor networks