Abstract
RFID(Radio Frequency Identification) has the potential to be efficiently used for object identification and most likely a majority of items in the supply chain will carry RFID labels in the future. However, widespread deployment of RFID tags may create new threats to user privacy due to the powerful tracking capability of the tags and drawbacks in authentication systems between reader and tag. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we analyze the vulnerabilities of the hash based RFID security protocol with Casper, CSP and FDR model checking tool and reconfirm the several known attacks. Finally, we propose the modified hash based RFID security protocol that guarantees data privacy and authentication between a tag and a reader.
Original language | English |
---|---|
Pages | 356-363 |
Number of pages | 8 |
DOIs | |
Publication status | Published - 2006 |
Event | 2006 International Conference on Hybrid Information Technology, ICHIT 2006 - Cheju Island, Korea, Republic of Duration: 2006 Nov 9 → 2006 Nov 11 |
Other
Other | 2006 International Conference on Hybrid Information Technology, ICHIT 2006 |
---|---|
Country/Territory | Korea, Republic of |
City | Cheju Island |
Period | 06/11/9 → 06/11/11 |
Keywords
- CSP
- Casper
- FDR
- Model checking
- RFID security
ASJC Scopus subject areas
- Media Technology