@inproceedings{7d68415467794f85b10a3cc442a7e311,
title = "Security and privacy analysis of RFID authentication protocol for ubiquitous computing",
abstract = "Radio frequency identification (RFID) is an emerging technology which brings enormous productivity benefits in applications where objects have to be identified automatically in mobile and ubiquitous computing. In this paper we describe problems of previous works on RFID security protocols and specify several known attacks and introduce a modified RFID security protocol which serves as a proof of concept for authentication an RFID tag to a reader device using the vernam and standard encryption as a cryptographic primitive. To verify our protocol, we use model checking methodology and then verify security properties such as secrecy and authentication using FDR(Failure Divergence Refinement) tool.",
keywords = "Authentication protocol, Capser, FDR, Model checking, RFID",
author = "Kim, {Hyun Seok} and Choi, {Jin Young}",
year = "2007",
doi = "10.1109/ICCCN.2007.4318010",
language = "English",
isbn = "9781424412518",
series = "Proceedings - International Conference on Computer Communications and Networks, ICCCN",
pages = "1359--1363",
booktitle = "Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007",
note = "16th International Conference on Computer Communications and Networks 2007, ICCCN 2007 ; Conference date: 13-08-2007 Through 16-08-2007",
}