Security analysis of NFC relay attacks using probabilistic model checking | IEEE Conference Publication | IEEE Xplore