机译:NFC移动优惠券协议安全性分析的正式框架
Department of Computer Science, University of Surrey, Guildford, UK;
Department of Computer Science, University of Surrey, Guildford, UK;
NFC; M-coupon; CasperFDR; formal verification; security protocols;
机译:经过正式验证的以TSM为中心的隐私保护NFC移动支付框架和协议
机译:轻量级且安全的,基于NFC的移动支付协议,基于带有正式验证的混合加密算法,确保公平交换
机译:一种轻量级和安全的NFC基础移动支付协议,确保基于具有正式验证的混合加密算法公平交换
机译:使用Casper / FDR的NFC M优惠券协议的形式安全性分析
机译:安全协议的形式分析:协议组成逻辑。
机译:MobiPag:基于NFC的集成移动支付票务和优惠券解决方案
机译:使用casper / fdr对nfc m-coupon协议进行正式安全性分析
机译:基于信誉的互联网协议安全:移动ad Hoc网络的多层安全框架