Open access

Security Analysis of the RFID Authentication Protocol Using Model Checking

Written By

Hyun-Seok Kim, Jin-Young Choi, and Sin-Jae Lee

Submitted: 31 May 2010 Published: 10 February 2011

DOI: 10.5772/14825

From the Edited Volume

Ubiquitous Computing

Edited by Eduard Babkin

Chapter metrics overview

2,112 Chapter Downloads

View Full Metrics

Written By

Hyun-Seok Kim, Jin-Young Choi, and Sin-Jae Lee

Submitted: 31 May 2010 Published: 10 February 2011