Security and Privacy Analysis of RFID Systems Using Model Checking.
Hyun Seok KimIl-Gon KimKeun-Hee HanJin-Young ChoiPublished in: HPCC (2006)
Keyphrases
- rfid systems
- model checking
- temporal logic
- security issues
- formal verification
- rfid tags
- automated verification
- formal specification
- low cost
- authentication protocol
- security mechanisms
- information security
- rfid technology
- information flow
- temporal properties
- symbolic model checking
- artificial intelligence
- computation tree logic