Proving authentication property of PUF-based mutual authentication protocol based on logic of events.
Jiawen SongMeihua XiaoTong ZhangHaoyang ZhouPublished in: Soft Comput. (2022)
Keyphrases
- authentication protocol
- smart card
- security analysis
- user authentication
- password authentication
- authentication scheme
- lightweight
- public key
- security protocols
- rfid tags
- secret key
- authentication mechanism
- key distribution
- rfid systems
- electronic devices
- mutual authentication
- session key
- security requirements
- low cost
- security services
- real time