Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL.
Tong ZhangMeihua XiaoRi OuyangPublished in: NCTCS (2021)
Keyphrases
- mutual authentication
- security analysis
- privacy protection
- authentication protocol
- rfid tags
- authentication scheme
- secret key
- trusted third party
- authentication mechanism
- public key
- rfid systems
- key agreement
- smart card
- private key
- low cost
- user authentication
- lightweight
- radio frequency identification
- security protocols
- encryption scheme
- security requirements
- real time