Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events.
Ke YangMeihua XiaoJiawen SongJia ChenXiaomei ZhongXizhong WangPublished in: IEEE Access (2018)
Keyphrases
- mutual authentication
- security analysis
- privacy protection
- authentication protocol
- rfid tags
- authentication scheme
- secret key
- trusted third party
- key agreement
- rfid systems
- smart card
- public key
- authentication mechanism
- private key
- low cost
- third party
- cryptographic protocols
- cost effective
- private information
- data sharing
- user authentication
- end to end
- information systems
- real time