An Anonymous Offline RFID Grouping-Proof Protocol.
Zhibin ZhouPin LiuQin LiuGuojun WangPublished in: Future Internet (2018)
Keyphrases
- rfid systems
- mutual authentication
- formal proof
- anonymous communication
- rfid tags
- real time
- security protocols
- digital signature scheme
- payment scheme
- authentication protocol
- low cost
- lightweight
- theorem proving
- privacy protection
- supply chain
- network protocols
- radio frequency identification
- theorem prover
- rfid technology
- security analysis
- grouping algorithm
- perceptual grouping
- cryptographic protocols
- formal analysis
- rfid reader
- data collection
- supply chain management
- tcp ip
- radio frequency identification rfid
- peer to peer
- multi party
- wireless sensor networks