Select-response grouping proof and its verification protocol for RFID tags.
Yuanhung LienXuefei LengKeith MayesJung-Hui ChiuPublished in: Int. J. Intell. Inf. Database Syst. (2011)
Keyphrases
- rfid tags
- rfid systems
- authentication protocol
- lightweight
- mutual authentication
- cryptographic protocols
- security protocols
- formal proof
- low cost
- radio frequency identification
- cost effective
- radio frequency identification rfid
- public key
- formal analysis
- rfid technology
- security analysis
- rfid reader
- cellular networks
- security issues
- model checking
- protocol specification
- power consumption
- resource constrained
- authentication scheme
- mobile terminals
- smart card
- real time
- security level
- security problems
- security mechanisms
- anti collision
- privacy protection