@incollection{Kim11,
author = {Hyun-Seok Kim and Jin-Young Choi and and Sin-Jae Lee},
title = {Security Analysis of the RFID Authentication Protocol Using Model Checking},
booktitle = {Ubiquitous Computing},
publisher = {IntechOpen},
address = {Rijeka},
year = {2011},
editor = {Eduard Babkin},
chapter = {6},
doi = {10.5772/14825},
url = {https://doi.org/10.5772/14825}
}