Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID.
Wei LiMeihua XiaoYanan LiYingtian MeiXiaomei ZhongJimin TuPublished in: NCTCS (2017)
Keyphrases
- formal analysis
- authentication protocol
- rfid tags
- ban logic
- rfid systems
- mutual authentication
- radio frequency identification
- low cost
- cryptographic protocols
- lightweight
- smart card
- formal methods
- rfid technology
- security analysis
- public key
- security protocols
- authentication scheme
- resource constrained
- agent model
- secret key
- real time
- security issues
- cost effective
- information security
- trusted third party
- software development
- supply chain