Security analysis of NFC relay attacks using probabilistic model checking

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.