InTechOpen uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Computer and Information Science » Computer Science and Engineering » "Ubiquitous Computing", book edited by Eduard Babkin, ISBN 978-953-307-409-2, Published: February 10, 2011 under CC BY-NC-SA 3.0 license. © The Author(s).

Chapter 6

Security Analysis of the RFID Authentication Protocol Using Model Checking

By Hyun-Seok Kim, Jin-Young Choi, and Sin-Jae Lee
DOI: 10.5772/14825