基于四方的安全电子商务支付协议研究

论文摘要

随着Internet的发展和电子商务的迅速普及,电子商务支付的安全越来越受到人们的重视,尤其是电子支付的原子性,已成为了电子商务领域的研究热点之一。关于电子支付的原子性,从目前的研究成果来看,大多数的电子商务支付协议仅局限于满足电子支付的金钱原子性,对于商品原子性和确认发送原子性,专家学者的研究重点也只仅仅在于如何解决数字商品的商品原子性和确认发送原子性,而对于满足传统商品的电子支付商品原子性和确认发送原子性的支付协议方面的研究成果,尚未见有关文献报道。在分析国内外电子支付的支付模式和支付协议现状基础上,重点研究国际电子商务支付协议标准安全电子交易SET(Secure Electronic Transaction)协议及其存在的缺陷,比较分析了国内外学者对SET的改进方案。以SET协议为范型,针对其不能满足商品原子性和确认发送原子性的缺陷,进行了一些改进,建立了一个基于四方的能够自动存取关键电子证据、确保商品原子性和确认发送原子性、仲裁处理交易纠纷的安全电子商务支付协议,并给出了协议的形式化描述,然后对基于四方的电子商务支付协议的安全性进行了分析比较。根据基于四方的安全电子商务支付协议,建立了协议的有限状态模型和安全计算树逻辑CTL (Computation Tree Logic)公式,利用国际上流行的协议检测工具符号模型检测SMV(symbolic model checking)对协议的安全原子性进行了仿真实验检测验证,实验验证了协议满足电子交易的安全原子性要求。基于四方的安全电子商务支付协议跟SET协议一样,仅适用于信用卡的电子商务支付。针对协议仅适用于信用卡支付的缺陷,扩展其数据结构,设计适用于借记卡支付的功能,并用ASN.1抽象语法标记(Abstract Syntax Notation One)对其数据结构进行描述,最后对电子商务支付系统软件模块进行简要设计。

论文目录

• 摘要
• ABSTRACT
• 1 绪论
• 1.1 课题的研究背景及目的
• 1.2 国内外研究概况
• 1.3 论文的研究内容
• 1.4 论文的组织结构
• 2 安全电子交易SET 协议分析
• 2.1 安全电子交易SET 协议
• 2.2 SET 协议形式化分析描述
• 2.3 SET 协议安全性分析及改进
• 2.4 本章小结
• 3 基于四方的安全电子商务支付协议设计
• 3.1 设计目标
• 3.2 协议的设计及形式化描述
• 3.3 协议的安全性分析及比较
• 3.4 本章小结
• 4 协议模型检测仿真实验验证
• 4.1 模型检测技术分析
• 4.2 协议SMV 建模
• 4.3 协议的CTL 原子性属性设计
• 4.4 协议的原子性仿真实验验证
• 4.5 本章小结
• 5 基于四方的安全电子商务支付系统应用设计
• 5.1 系统结构设计
• 5.2 数据结构设计描述
• 5.3 系统软件模块设计
• 5.4 本章小结
• 6 总结与展望
• 6.1 研究工作总结
• 6.2 下一步研究工作展望
• 致谢
• 参考文献
• 附录Ⅰ 攻读硕士学位期间发表论文目录
• 附录Ⅱ 攻读硕士期间参与的科研工作