一种新的复合型电子支付协议及其形式化分析

• 作者: 丁月 汪学明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 复合型电子支付协议 双向认证 SVO逻辑 Kailar逻辑 形式化分析
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 安全技术
• 页码范围: 319-324
• 页数: 6页
• 分类号: TP393
• 字数: 4211字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2018.06.058

摘要

针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议.新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性.通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪学明	贵州大学计算机科学与技术学院	71	197	7.0	8.0
2	丁月	贵州大学计算机科学与技术学院	2	4	1.0	2.0