满足原子性和公平匿名性的AFAP协议研究

在分析电子交易的原子性和公平匿名性基础上,应用两阶段提交协议思想,实现了电子交易的原子性,改进了Brands教授提出的公平盲签名协议,不仅实现了交易中的匿名性,还提供了非法支付的所有者追踪和货币追踪,实现了公平匿名性,并提出了一个可同时实现原子的公平匿名的电子交易协议,给出了协议的五个子协议,详细描述了各子协议的执行过程,并非形式化地证明了协议原子性和公平匿名性,保证了公平电子交易和私密性。     

电子支付协议的原子性研究综述

原予性是设计电子支付协议时应考虑的重要性质。文章介绍了电子支付系统的原予性概念,分析了一些重要电子支付协议的原予性,论述了原予性电子支付协议的实现策略,描述了两个著名的原予性电子支付协议——NetBill和Anonymous Atomlc Transaction Ptotocol的协议实现,基于两阶段提交策略提出了一种新的原予性实现方法并用于构造原予性电子合同签署协议,就复杂电子交易模式的原予性支付问题进行了探讨,指出了电子支付原予性研究的最新发展和亟待解决的公开问题。     

原子和公平匿名的电子交易协议的研究

基于公平盲签名技术、两阶段提交技术以及混合加密和数字签名技术,该文首次提出了一个能同时实现原子性和公平匿名性的电子交易协议。协议除了具有很好的原子性和匿名性外,对于非法的交易还提供了疑点追踪。文章详细描述了协议的工作过程,并分析了协议的原子性和匿名性。     

一种可提升用户匿名性的离线电子支付方案

提出一种新的具有可提升用户匿名性的离线电子支付方案。用户都可以根据交易时间、计算及通信开销,选择提高其匿名性,还可以从SA代理那里获取面额较小的电子现金用于支付,解决了电子现金的“找零”问题。与其他支付协议相比,该协议还可以恢复因计算机崩溃或文件误删而丢失的电子现金,而且能够防止重复花费、窃听、篡改和高手段的犯罪。     

一种基于电子代金券E-Token的电子支付协议

将电子代金券的思想引入基于帐号的支付协议中,采用混合加密体制和数字签名技术,提出了一种新的电子支付协议.协议模拟现金代金券的模式,在保证安全性的基础上实现了代金券的可验证性、可传递性、原子性和匿名性,降低了电子商务交易的瓶颈,简化了交易过程.     

一种安全电子交易协议匿名性改进方案

安全电子交易协议缺乏隐私保护,尤其是持卡人身份对商家的匿名。为了增强安全电子交易协议匿名性保护,提出一种安全电子交易协议匿名性改进方案,由认证中心（Certificate Authority）在持卡人（Cardholder）的数字证书中,用持卡人身份信息的消息摘要代替身份信息;在持卡人（Cardholder）、经销商（Merchant）、支付网关（Payment Gateway）个参与方的基础上引入了物流公司（Express）;持卡人发送订购信息给商家,商家发送物流信息给物流公司,由物流公司邮递商品给持卡人,结合数字签名和数字信封技术,实现持卡人身份对商家的匿名。     

一种改进的安全电子交易协议

针对目前主流的电子支付协议--安全电子交易SET协议,本文给出了一种改进的安全电子交易A-SET协议。A-SET协议改进了SET协议的交易流程,继承了SET原有的安全特性,可以进一步保证交易的原子性和不可否认性,有效地保证了交易双方的公平性。     

一种新型的电子支付协议

针对目前电子商务中亟待解决的商品品质保证问题,本文提出了一种新型的电子支付协议。该协议给出了C2C(Consumer To Consumer)实物交易的电子支付协议解决方案,借助基于DSA的可验证可恢复加密签名算法(DSA-VRES)具体解决了C2C实物交易中如何确保商品品质的问题。在对所提协议进行详细地性能分析后说明协议同时具备支付协议的安全性和公平性,提高了交易的成功率。     

基于类pi演算的电子支付协议安全性形式化研究

设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。     

一个优化的公平的电子支付方案

在电子商务中，交易双方往往是互不信任的，交易中的任意一方总担心另一方在交易过程中处于比自己更加有利的位置，从而可能使自己蒙受损失，公平的电子支付方案和协议就是为解决这类问题而设计的，该文借鉴转化数字签名的思想，提出了一个公平的电子支付方案，使交易中的双方在方案中处于平等的位置，实现了交易过程的公平性，该方案涉及到一个可信任的第三方（TTP），但只有在注册阶段和产生争议的时候，才会涉及到TTP，正常的支付过程并不需要TTP，也就是说TTP的引入并不影响支付过程的效率，因而该方案是一个“优化“意义上的公平的电子支付方案。     

一种电子商务协议原子性的模型检验分析方法

提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议。     

Netbill协议原子性的符号模型检验分析

电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,采取一定的方法对协议进行分析检验是协议开发过程中一个必要环节。论文在对Netbill协议及其原子性进行形式化描述的基础上,基于符号模型检验器(SMV)从钱原子性和商品原子性两个角度对Netbill协议进行了分析和检验,从而表明了用SMV对电子商务协议分析和验证的可行性。     

一个公平有效的电子支付协议

电子现金体制的最主要内容是提供支付双方相同的公平性，而现有方案几乎都不能提供完全的公平性。该文设计了一个新的电子支付协议，能够为支付过程提供完全的公平性。通过分析，该协议具有更好的不可否认性、公平性、保密性、完整性和认证性，提高了运行效率，对于电子商务应用发展有着重要的意义。     

利用电子钱包的有效的公正支付系统

该文提出了一个有效的利用电子钱包的公正支付系统。系统中用户只拥有一个银行账号;提款时用户得到一个关于本人身份字的盲签名并向银行提供构造正确的供跟踪的信息;支付时用户在防窜扰卡的协助下向商家证明所支付电子现金的有效性,并提供可跟踪的正确信息;委托人完全离线,不参与系统中除跟踪协议以外的任何协议的执行,仅需要保存好自己的密钥并在需要跟踪时使用之。系统的安全性基于离散对数困难问题,分析表明该系统是安全有效的。     

安全电子支付系统研究

给出了电子支付系统的安全需求,并深入探讨了各类安全电子支付系统的基本模型、主要特点和相关实例。同时,基于对安全电子支付系统发展现状和未决问题的分析和评述,指出了今后该领域的研究方向。     

一种公平的移动支付协议

为了解决移动支付的公平交易问题,提出了一种基于同时生效签名的无可信第三方的移动支付协议。该协议不仅能保证顾客在向商家付款的同时获得所购买的商品,还可以防止共谋问题的发生。该协议满足交易的公平性和不可否认性,并且避免了采用传统意义上的可信任第三方而引起的交易“瓶颈”问题,适用于移动环境下数字产品的交易。