Financial Protocol; Smartphones; Secure Payment Protocol; Formal Verification; AVISPA;
机译:使用禁令逻辑和AVISPA进行安全证据收集协议的正式验证
机译:走向更安全的EMV购买事务:SCYTHER工具正式分析的新安全协议
机译:具有基于信用的可计费性和可控隐私性的经过正式安全验证的移动匿名身份验证协议?
机译:使用智能手机 - 使用智能手机 - SPFT由Avispa证明的安全协议
机译:隐私保护协议的有效实现和计算分析,以保护金融市场
机译:住院通信需求的完美风暴和利用智能手机和安全消息传递的创新解决方案
机译:使用CasperFDR和aVIspa正式验证的低成本RFID标签的相互认证协议