计算机应用与软件2018，Vol.35Issue(6)：319-324,6.DOI:10.3969/j.issn.1000-386x.2018.06.058
一种新的复合型电子支付协议及其形式化分析
A NEW COMPOUND ELECTRONIC PAYMENT PROTOCOL AND ITS FORMAL ANALYSIS
丁月 1汪学明1
作者信息
- 1. 贵州大学计算机科学与技术学院 贵州贵阳550025
- 折叠
摘要
关键词
复合型电子支付协议/双向认证/SVO逻辑/Kailar逻辑/形式化分析分类
信息技术与安全科学引用本文复制引用
丁月,汪学明..一种新的复合型电子支付协议及其形式化分析[J].计算机应用与软件,2018,35(6):319-324,6.
