Formal Verification of Privacy for RFID Systems.
Mayla BrusòKonstantinos ChatzikokolakisJerry den HartogPublished in: CSF (2010)
Keyphrases
- rfid systems
- formal verification
- model checking
- rfid tags
- rfid technology
- radio frequency identification
- authentication protocol
- radio frequency identification rfid
- security problems
- rfid reader
- anti collision
- security protocols
- real time
- computer networks
- lightweight
- security mechanisms
- power consumption
- decision making
- artificial intelligence