电子商务环境中在线支付协议和抗抵赖协议的研究

摘要

本文对现有电子商务协议的形式化工具进行了分析比较，尤其对本文应用的Kessler&Neumann逻辑进行了深入探讨；在对N.asokan支付模型研究的基础上，提出了3e支付模型；在对相关的抗抵赖协议进行了全面的分析和比较的基础上，根据国家标准提出了一个公平的抗抵赖协议SFNP(SimpleFairNon-repudiationProtoc0l)，SFNP可以应用到在线支付协议、自动谈判、数字商品传输等需要原发抗抵赖、接收抗抵赖服务的许多方面；根据安全在线支付的需要，明确指出了在线支付协议应该具有可确认性、原子性、抗抵赖性、公平性、匿名性、安全性等；提出了一个基于电子信用卡支付模型的在线支付协议SCPT(SecureCardPaymentProtocol)。给出了它的形式化的描述和详细的数据结构，对SCPT协议所具有的这些属性进行了详细的分析，特别是对钱的可确认性、商品的可确认性，采用了Kessler&Neumann逻辑对其进行了形式化的证明。SCPT协议满足了人们对安全在线支付的要求，可以应用到实际的电子商务系统中；应用XML(eXtensibleMarkupLanguage)和WEB服务技术，开发了一个电子商务系统原型，此电子商务系统原型实现了对SCPT协议的可确认性、原子性、抗抵赖性、公平性、部分匿名性、安全性的支持。服务器电子钱包具有很好的安全性和扩展性。开发的基于DataCash银行的支付网关web服务，实现了和DataCash银行的对接。这个电子商务系统原型具有很强的实用性。

目录

文摘

英文文摘

第1章绪论

1.1课题的来源

1.2课题的目的和意义

1.3国内外发展的动态

1.4论文的体系结构

第2章电子支付

2.1支付的发展

2.2支付模型

2.3.3E支付模型

2.3.1电子信用卡支付模型

2.3.2电子现金支付模型

2.3.3电子支票支付模型

2.3.4 3e支付模型的分析与比较

2.4电子商务协议的逻辑分析工具

2.5本章小结

第3章在线支付协议

3.1在线支付协议的属性

3.2在线支付协议分析

3.2.1基于电子信用卡支付模型

3.2.2基于电子现金支付模型

3.2.3基于电子支票支付模型

3.3本章小结

第4章抗抵赖协议

4.1抗抵赖

4.1.1抗抵赖的概念

4.1.2抗抵赖的类型

4.1.3抗抵赖权标及其应用

4.2相关的工作

4.2.1 FNP

4.2.2 NRMPR

4.2.3 CEM

4.2.4 CMP1

4.2.5 CMP2

4.2.6抗抵赖协议属性的比较

4.3 SFNP的提出

4.4 SFNP的分析

4.4.1抗抵赖性证明

4.4.2公平性分析

4.5 SFNP属性的分析

4.6本章小结

第5章一个新的在线支付协议SCPT

5.1 SCPT的提出

5.2 SCPT的可确认性证明

5.2.1商品的可确认性证明

5.2.2钱的可确认性证明

5.3 SCPT的原子性分析

5.3.1钱的原子性分析

5.3.2商品的原子性分析

5.3.3确认发送原子性分析

5.4 SCPT的公平性分析

5.5 SCPT的安全性分析

5.5.1机密性

5.5.2消息完整性

5.6 SCPT的抗抵赖性和匿名性分析

5.6.1抗抵赖性分析

5.6.2匿名性分析

5.7本章小结

表

第6章支持SCPT的电子商务系统原型

6.1关键技术

6.1.1 CAPICOM组件

6.1.2 web服务

6.1.3 asp.NET HTTP运行时

6.1.4 asp.NET中的模拟

6.2商家系统

6.2.1网上商店

6.2.2支付系统

6.3支持SCPT的服务器电子钱包

6.3.1功能结构

6.3.2登录模块的安全机制

6.3.3 SCPT支付模块

6.4支付网关

6.5本章小结

第7章研究工作总结

致谢

参考文献

附录A攻读博士学位期间发表的论文

附录B SCPT的数据结构