一个新的电子支付协议及其形式化分析

• 作者: 徐洋 汪学明 谢晓尧
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 电子支付协议 可追究性 公平性 Kailar逻辑
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 基金项目论文
• 页码范围: 93-94,124
• 页数: 3页
• 分类号: TP3
• 字数: 2692字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.09.035

摘要

在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要.通常可以采用电子支付中的双方可追究协议来达到这个目的.在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议.经过使用改进的Kailar逻辑分析验证,新的协议满足可追究性和公平性原则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪学明	贵州大学计算机科学与技术学院	71	197	7.0	8.0
2	谢晓尧		16	43	4.0	5.0
3	徐洋	贵州大学计算机科学与技术学院	7	41	4.0	6.0