Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress.
Wiem TounsiNora Cuppens-BoulahiaFrédéric CuppensJoaquín García-AlfaroPublished in: FPS (2011)
Keyphrases
- formal verification
- rfid systems
- rfid tags
- rfid technology
- radio frequency identification rfid
- radio frequency identification
- model checking
- supply chain
- low cost
- lightweight
- ubiquitous computing
- supply chain management
- key technologies
- public key
- diffie hellman
- power consumption
- cost effective
- real time
- security issues
- resource constrained
- security mechanisms
- authentication protocol
- ambient intelligence