@inproceedings{6b853131224b4da6bc5c1ca835159a17,
title = "Security analysis of RFID authentication for pervasive systems using model checking",
abstract = "Radio frequency identification (RFID) systems will soon become an important part of everyday life. However, widespread deployment of RFID tags may create new threats to user privacy, due to the powerful tracking capability of the tags. 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, FOR, Model Checking, RFID Security",
author = "Kim, \{Hyun Seok\} and Oh, \{Jeong Hyun\} and Choi, \{Jin Young\}",
year = "2006",
doi = "10.1109/COMPSAC.2006.158",
language = "English",
isbn = "0769526551",
series = "Proceedings - International Computer Software and Applications Conference",
pages = "195--202",
booktitle = "Proceedings - 30th Annual International Computer Software and Applications Conference, COMPSAC 2006 - Short Papers/Workshops/Fast Abstracts/Doctoral Symposium",
note = "30th Annual International Computer Software and Applications Conference, COMPSAC 2006 ; Conference date: 17-09-2006 Through 21-09-2006",
}