Formal security analysis of NFC M-coupon protocols using Casper/FDR | IEEE Conference Publication | IEEE Xplore