Formal Verification of Cryptographic Protocol for Secure RFID System

@article{Kim2008FormalVO,
  title={Formal Verification of Cryptographic Protocol for Secure RFID System},
  author={Hyun Seok Kim and Jung-Hyun Oh and Ju-Bae Kim and Yeon-Oh Jeong and Jin-Young Choi},
  journal={2008 Fourth International Conference on Networked Computing and Advanced Information Management},
  year={2008},
  volume={2},
  pages={470-477}
}
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 RFID security protocols and specify several known attacks with Casper (A Compiler of Security Protocol Analyzer), then verify their… CONTINUE READING