| 对一种电子支付协议的改进 |
| |
| 引用本文： | 丁洁,胡晶,王锁萍. 对一种电子支付协议的改进[J]. 南京邮电大学学报(自然科学版), 2005, 25(4): 52-55 |
| |
| 作者姓名： | 丁洁 胡晶 王锁萍 |
| |
| 作者单位： | 南京邮电大学,电子工程系,江苏 南京,210003 |
| |
| 摘 要： | 随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。
|
| 关 键 词： | 电子商务 电子支付 形式化分析 公平性 不可否认性 |
| 文章编号： | 1000-1972(2005)04-0052-04 |
| 修稿时间： | 2004-10-24 |
The Improvement of an Electronic Payment Protocol |
| |
| DING Jie,HU Jing,WANG Suo-ping. The Improvement of an Electronic Payment Protocol[J]. JJournal of Nanjing University of Posts and Telecommunications, 2005, 25(4): 52-55 |
| |
| Authors: | DING Jie HU Jing WANG Suo-ping |
| |
| Affiliation: | DING Jie,HU Jing,WANG Suo-pingDepartment of Electronic Engineering,Nanjing University of Posts and Telecommunications,Nanjing 210003,China |
| |
| Abstract: | As the rapid development of Electronic Commerce all over the world,the people pay more and more attention to its security issues.Securd Electronic Commerce Protocols assure the reliability of the E-Commerce,and the fairness and non-repudiation are two important security requirements.This paper introduces the Bolignano electronic payment protocol,and analyzes its fairness and non-repudiation.We find the defect of its fairness and make some improvements by introducing the FTP transmission.Finally,we give the rigorous formal verification of the improved protocol and prove its fairness and non-repudiation. |
| |
| Keywords: | electronic commerce electronic payment formal verification fairness non-repudiation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
