Chapters by Prof. Sin-Jae Lee
-
Book Chapter
Security Analysis of the RFID Authentication Protocol Using Model Checking
in the book "Ubiquitous Computing" edited by Eduard Babkin, ISBN 978-953-307-409-2, InTech, February 2, 2011