机译:比特币支付协议的正式建模与安全分析
Department of Computing and Games Teesside University UK;
Department of Computer Science University of York UK;
PISA Research UK;
Department of Computer Science University of Warwick UK;
Bitcoin; Bitcoin security; Bitcoin payment protocol; Payment security; Refund attack; Formal modelling; Security analysis; OFMC; AnB;
机译:电子支付协议安全性分析的形式化方法
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:比特币协议的正式分析
机译:两要素和两通道身份验证协议的形式化建模和自动安全性分析
机译:安全协议的形式分析:协议组成逻辑。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:比特币支付协议的正式建模与安全分析