NFC; EMV; Mutual authentication; Confidentiality; NFC bank card; NFC payment terminal;
机译:走向更安全的EMV购买事务:SCYTHER工具正式分析的新安全协议
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:NFC移动优惠券协议安全性分析的正式框架
机译:NFC支付的在线安全协议 - 由SCYTHER工具正式分析
机译:用于测试通信协议系统安全性的正式方法和工具。
机译:MobiPag:基于NFC的集成移动支付票务和优惠券解决方案
机译:Scyther工具:安全协议的验证,伪造和分析-工具文件
机译:使用自动分析工具进行形式建模来设计和参数化分析多机器人协调协议:案例研究。