Two rounds RFID grouping-proof protocol.
Sarah AbughazalahKonstantinos MarkantonakisKeith MayesPublished in: IEEE RFID (2016)
Keyphrases
- rfid systems
- mutual authentication
- formal proof
- rfid tags
- radio frequency identification rfid
- lightweight
- security analysis
- network protocols
- low cost
- rfid technology
- rfid reader
- security protocols
- cryptographic protocols
- supply chain
- radio frequency identification
- authentication protocol
- coloured petri nets
- perceptual organization
- theorem proving
- communication protocol
- perceptual grouping
- privacy protection
- theorem prover
- data collection
- neural network
- secret key
- communication protocols
- grouping algorithm
- context aware
- wireless sensor networks
- multi agent systems
- multi agent