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

A NEW ELECTRONIC PAYMENT PROTOCOL AND ITS FORMAL ANALYSIS

作　　者：徐洋[1] 汪学明[1] 谢晓尧[2] 

机构地区：[1]贵州大学计算机科学与技术学院,贵州贵阳550025 [2]贵州省信息与计算科学重点实验室,贵州贵阳550001

出　　处：《计算机应用与软件》2008年第9期93-94,124,共3页Computer Applications and Software

基　　金：贵州省科学技术基金项目(20082125)

摘　　要：在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证,新的协议满足可追究性和公平性原则。The accountability and fairness of payer and payee is essential in electronic payment protocol, and it can usually be implemented by accountability protocol during electronic payment. A new accountability and fairness protocol is presented based on the correction of some flaws of ISI payment protocol. The new protocol has been evaluated by advanced Kailar logic, and the evaluation result shows that the protocol satisfies the demand of accountability and fairness.

关 键 词：电子支付协议 可追究性 公平性 KAILAR逻辑 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] F830.49[自动化与计算机技术—计算机科学与技术]