随着社会经济与信息技术的不断发展,人们对支付系统的运行效率和服务质量要求越来越高,这就促使支付系统从手工操作转向电子化、网络化。特别是由于Internet的发展,人们对原来的支付系统提出了更高的要求,要求从发起到最后完成资金转账的全过程都要采用电子形式。因此在进行电子商务的过程中,如果依赖传统的支付方式,诸如现金、支票、银行汇票等,无疑不能够满足人们的要求。使得缺乏安全高效的支付及清偿成为电子商务发展的一个瓶颈。随着电子商务技术的发展,如何进行安全高效的电子支付及清偿成了人们面对的一个重要课题。本文以湖北省自然科学基金“抗抵赖和在线支付协议的研究”为基础,结合湖北省重点攻关课题“电子商务中通用数据交换技术的研究”,对电子支付模型、电子支付协议、抗抵赖协议进行了深入的研究,所做的工作具有很高的理论价值和实际意义。 所做的工作及取得的研究成果如下: · 对现有电子商务协议的形式化工具进行了分析比较,尤其对本文应用的Kessler&Neumann逻辑进行了深入探讨。 · 在对N.asokala支付模型研究的基础上,提出了3e支付模型,它包括电子信用卡、电子现金、电子支票支付模型,并且对这三个电子支付模型进行了初步论证。 ·在对相关的抗抵赖协议进行了全面的分析和比较的基础上,根据国家标准提出了一个公平的抗抵赖协议SFNP(Simple Fair Non-repudiation Protocol),它支持原发抗抵赖、接收抗抵赖。对SFNP的抗抵赖性用Kessler&Netlmann逻辑进行了形式化的证明。同时对SFNP的公平性进行了分析。SFNP可以应用到在线支付协议、自动谈判、数字商品传输等需要原发抗抵赖、接收抗抵赖服务的许多方面。 ·根据安全在线支付的需要,明确指出了在线支付协议应该具有可确认性、原子性、抗抵赖性、公平性、匿名性、安全性等。 ·对现有的在线支付协议按照支付模型的不同进行了分类和比较。在此基础上提出了一个基于电子信用卡支付模型的在线支付协议SCPT(Secure CardPayment Protocol)。给出了它的形式化的描述和详细的数据结构。它具有钱的原子性、商品原子性、确认发送原子性、钱的可确认性、商品的可确认性、部分