Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou. Security analysis of NFC relay attacks using probabilistic model checking. In Mario Gerla, Khaled Ben Letaief, George C. Hadjichristofi, Christian Callegari, editors, International Wireless Communications and Mobile Computing Conference, IWCMC 2014, Nicosia, Cyprus, August 4-8, 2014. pages 524-529, IEEE, 2014. [doi]
@inproceedings{AlexiouBP14,
title = {Security analysis of NFC relay attacks using probabilistic model checking},
author = {Nikolaos Alexiou and Stylianos Basagiannis and Sophia G. Petridou},
year = {2014},
doi = {10.1109/IWCMC.2014.6906411},
url = {http://dx.doi.org/10.1109/IWCMC.2014.6906411},
researchr = {https://researchr.org/publication/AlexiouBP14},
cites = {0},
citedby = {0},
pages = {524-529},
booktitle = {International Wireless Communications and Mobile Computing Conference, IWCMC 2014, Nicosia, Cyprus, August 4-8, 2014},
editor = {Mario Gerla and Khaled Ben Letaief and George C. Hadjichristofi and Christian Callegari},
publisher = {IEEE},
}