@inproceedings{d95674904ed049a6a70d00a8f3cb20a7,
title = "Security and privacy analysis of RFID systems using model checking",
abstract = "Radio frequency identification (RFID) is expected to become an important and ubiquitous infrastructure technology. As RFID tags are affixed to all items, they may be used to support various useful services. However, this pervasive use of RFID tags opens up the possibility for various attacks violating user privacy and authentication among communication participants. Security mechanisms for RFID systems will be therefore of utmost important. In this paper, we describe problems of previous works on RFID security protocol and specify several known attacks with Casper, CSP and then verify their security properties such as secrecy and authentication using FDR model checking tool. Finally, we propose an RFID security protocol based on strong authenticaion that guarantees data privacy and authentication between a tag and a reader.",
keywords = "CSP, Casper, FDR, Model checking, RFID security",
author = "Kim, {Hyun Seok} and Kim, {Il Gon} and Han, {Keun Hee} and Choi, {Jin Young}",
year = "2006",
doi = "10.1007/11847366_51",
language = "English",
isbn = "3540393684",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "495--504",
booktitle = "High Performance Computing and Communications - Second International Conference, HPCC 2006, Proceedings",
note = "2nd International Conference on High Performance Computing and Communications, HPCC 2006 ; Conference date: 13-09-2006 Through 15-09-2006",
}