Sixth IEEE International Conference on Computer and Information Technology (CIT'06) The Vulnerabilities Analysis and Design of the Security Protocol for RFID System Seoul, Korea September 20-September 22 ISBN: 0-7695-2687-X
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CIT.2006.180
Radio frequency identification (RFID) is expected to become an important and ubiquitous infrastructure technology. However, this pervasive use of RFID tags opens up the possibility for various attacks violating user privacy. In this paper, we present an RFID authentication protocol that enforces user privacy and protects man-in-the-middle, replay attacks between reader and tag. In analyzing our protocol, we specify several known attacks that can be applied to RFID protocol with Casper, CSP and then verify their security propeties such as secrecy and authetication using FDR model checking tool.
Index Terms:
Model Checking, Casper, CSP, FDR, RFID Security
Citation:
Hyun-Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim, "The Vulnerabilities Analysis and Design of the Security Protocol for RFID System," cit, pp.152, Sixth IEEE International Conference on Computer and Information Technology (CIT'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb