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

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

一种原子性和公平匿名性的电子支付协议

在分析电子交易的原子性和公平匿名性的基础上，提出了一种可同时实现原子性的公平匿名的电子支付协议，而且在整个支付过程中，可信第三方可以离线，只有发生争议时才参与仲裁解决。给出了协议的6个子协议，详细描述了各子协议的执行过程，并且非形式化地分析了协议的原子性和公平匿名性，保证了公平的电子交易和私密性。     

基于多银行的匿名的电子商务协议

提出了一种基于多银行的、匿名的、公平的电子商务协议。它具有如下特点:交易的安全性、公平性和匿名性;如果不发生争执,信任三方是处于离线状态;商家和顾客的帐户不必在同一银行;交易事务的原子性:钱的原子性、商品的原子性、确认发送的原子性。最后,文章对方案各方面进行了分析。     

一种新型的匿名公平电子商务协议*

针对电子商务中客户、商家和第三方的信任问题,在Brands离线电子货币方案基础上,借鉴盲解密思想,设计了一种简单、有效的匿名公平电子商务协议。协议引入了一个离线半可信第三方,以保证交易双方公平交换。但交易过程中,STTP得不到任何对交易双方有价值的信息。该协议通过客户和商家签发CEM证书,将订单、商品和支付证据紧密绑定在一起,使交易双方不可否认。分析和实验表明,该协议满足安全性、客户匿名性、可追究性、公平性和原子性,并具有很高效率,对大数据商品的交易也具有很好的适用性。     

带有公平电子合同的交易协议

基于原子的公平匿名交易协议,采用两阶段提交的思想,通过可信第三方TTP(trusted third party)来控制交易的提交。在进行大量交易时,TTP会成为瓶颈。文中在原协议的基础上进行改进,引入了公平电子合同,改变交易提交方式,减少了TTP的工作量,但并没有破坏其原子性和公平匿名性,同时交易后产生的电子合同可具有传统交易合同的作用。     

带有公平电子合同的交易协议

基于原子的公平匿名交易协议,采用两阶段提交的思想,通过可信第三方TTP(trusted third party)来控制交易的提交.在进行大量交易时,TTP会成为瓶颈.文中在原协议的基础上进行改进,引入了公平电子合同,改变交易提交方式,减少了TTP的工作量,但并没有破坏其原子性和公平匿名性,同时交易后产生的电子合同可具有传统交易合同的作用.     

电子商务协议研究综述

电子商务协议是电子商务实施的技术基础.对电子商务协议研究进行综述,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模)以及对若干著名电子商务协议的描述和分析.     

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

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

SET协议系统缺陷及其改进方案

电子商务的流行与接受主要取决于下述属性:安全、原子、匿名和不可否认性。文章对现在流行的安全电子交易SET标准进行分析,指出SET协议存在不满足数字商品交易的原子性以及确认发送原子性等缺陷。并在原有SET基础上对其协议流程进行改进,使其不仅具有交易原子性,而且还使用交易双方具有不可否认性以及公平交易等特点。     

基于可信第三方的可撤销匿名性的公平可分电子现金系统

第一次提出了一个实用的基于可信第三方的可分离线电子现金系统,该系统具有匿名性,以保护消费者的隐私;其匿名性是可撤销的,在必要的时候可以打击犯罪,以得到政府的使用许可;支付过程是公平的,防止某一交易方在交易中蒙受损失;电子现金是可分的,可以像现实货币一样按需要精确分割,用于精确支付。借鉴转换数字签名的思想,引入可信任的第三方,实现了交易过程的公平性和在必要时撤销匿名性,但只有在注册阶段、产生争议及撤销匿名性的时候才会涉及可信任的第三方。这种电子现金当然还可杜绝重复花费、防止超额支付及防伪。在支付协议中,该系     

基于电子钱包的公平交易协议研究

分析了基于信用透支的电子交易协议存在的不满足发送原子性和客户可恶意透支这两个不足,提出了一种基于电子钱包的乐观公平交易协议.该协议首先利用交叉验证理论,通过RSA加密算法的交叉验证保证顾客在支付之前可以判断他是否收到所期望的商品,从而实现了协议的发送原子性.同时引入了电子钱包作为安全控制端,通过限制顾客产生的电子现金数额,避免客户的恶意透支.详细描述了协议的执行过程,并非形式化的证明了协议的原子性和安全性.     

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

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

事务处理原子性保证策略

本文主要讨论了多数据库系统中在全局事务取消或失败的情况下,如何保证事务原子性的问题,在分析重做,重试,补偿方法和两阶段提交协议这几种方法的利,弊的基础上,充分利用它们的优点,在一个系统中实现了四种方法的有机结合。     

基于异步PI演算的Web服务长事务协议性质分析

根据WS-BusinessActivity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。     

基于电子钱包的乐观公平交易协议

本文在分析了基于信用透支的电子交易协议的基础上，提出了一种基于电子钱包的乐观公平交易协议。通过应用加密算法的交叉验证，实现了协议的原子性，同时引入了电子钱包作为安全控制端，避免了客户的恶意透支。本文详细描述了协议的执行过程，并非形式化地证明了协议的原子性和安全性。     

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

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

多库系统的两阶段局部代理失败恢复策略

从保证全局事务的ACID性及实际的可操作性出发，提出了一种较为可靠的两阶段局部代理的工作流程，使用局部代理作为全局事务管理系统与局部数据库的中间层，模拟出符合2PC协议的状态，从而在多数据库的事务处理中使用2PC协议，在最大限度保证异构数据库自治的前提下，从一定程度上解决了全局事务的原子性保证问题和局部站点失败恢复的问题     

On performance evaluation and design of atomic commit protocols for mobile transactions

The challenges of wireless and mobile computing environments have attracted the attention of researchers to revisit the conventional transaction paradigm. Indeed, this paradigm is an indispensable asset in modern information systems. The atomicity property of a distributed transaction is ensured with the use of an atomic commit protocol (ACP). Due to their great importance for transaction systems, the recent advances in mobile computing development have renewed the interest in the design of ACPs for mobile systems. The work presented in this paper studies the impact of the various and fluctuant parameters of wireless and mobile systems on a set of ACPs for mobile environment. It highlights performance indices which give orientations to the design of an adaptable approach that supports different atomicity notions satisfying a wide range of applications and environment requirements.