@inproceedings{6e281fc8491049cfbecbebf69e7dfc74,
title = "Formal verification of cryptographic protocol for secure RFID system",
abstract = "RFID technology has become one of the most hotly debated ubiquitous computing technologies, and public fears of its alleged capability for comprehensive surveillance have prompted a flurry of research trying to alleviate such concerns. Security mechanisms for RFID systems are therefore of utmost important. In this paper, we describe problems of previous work on RFlD security protocols and specify several known attacks with Casper (A Compiler of Security Protocol Analyzer), then verify their security properties such as secrecy and authentication using the FDR (Failure Divergence Refinement) model checking tool. Finally, we discuss practical issue of the hash authentication RFID security protocol, which guarantee data privacy and authentication between a tag and a reader using Casper and FDR.",
keywords = "Authentication, Model checking, Privacy, RFID",
author = "Kim, {Hyun Seok} and Oh, {Jung Hyun} and Kim, {Ju Bae} and Jeong, {Yeon Oh} and Choi, {Jin Young}",
year = "2008",
doi = "10.1109/NCM.2008.21",
language = "English",
isbn = "9780769533223",
series = "Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008",
pages = "470--477",
booktitle = "Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008",
note = "4th International Conference on Networked Computing and Advanced Information Management, NCM 2008 ; Conference date: 02-09-2008 Through 04-09-2008",
}