Analysis of the RFID security protocol for secure smart home network

Proceedings - 2006 International Conference on Hybrid Information Technology, ICHIT 2006

Volumn 2, Issue , 2006, Pages 356-363

  Kim, Hyun Seok ^a   Oh, Jung Hyun ^a   Choi, Jin Young ^a  

^a Korea University   (South Korea)

Author keywords

Casper; CSP; FDR; Model checking; RFID security

Indexed keywords

ACCESS CONTROL; DATA PRIVACY; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; INTELLIGENT BUILDINGS; SECURITY OF DATA; WIRELESS SENSOR NETWORKS;

CASPER; FDR; RFID SECURITY;

NETWORK PROTOCOLS;

EID: 34247264950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICHIT.2006.253634     Document Type: Conference Paper

References (9)

1. S. Sarma, S. Weis, D. Engels, "RFID systems and security and privacy implications", in: Workshop on Cryptographic Hardware and Embedded Systems (CHES) 2002, LNCS No. 2523, 2003, pp. 454-469.
2. EPCGLOBALINC: http://www.epcglobalinc.org.
3. S. Weis, S. Sarma, R. Rivest and D. Engels, "Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems", in 1st Intern. Conference on Security in Pervasive Computing(SPC), 2003.
4. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985.
5. G. Lowe, "Casper: A compiler for the analysis of security protocols", Proceeding of the 1997 IEEE Computer Security Foundations Workshop X, IEEE Computer Society, Silver Spring, MD, 1997, pp. 18-30.
6. Formal Systems Ltd. FDR2 User Manual, Aug. 1999.
7. P. Y. A. Ryan and S. A. Schneider, Modelling and Analysis of Security Protocols: the CSP Approach, Addison-Wesley, 2001.
8. M. Ohkubo, K. Suzuki, and S. Kinoshita, "Cryptographic Approach to Privacy-Friendly Tags", RFID Privacy Workshop, Massachusetts Institute of Technology, Cambridge, MA, USA.
9. M. Ohkubo, K. Suzuki, and S. Kinoshita, "Hash-Chain Based Forward-Secure Privacy Protection Scheme for Low-Cost RFID", Proceedings of the SCIS 2004, pp.719-724, 2004.