摘要：电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确认协议,是否满足协议是否符合协议设计要求是十分必要的。提出了可以用符号模型检验器(SMV)对电子商务协议进行分析,在对Digicash协议及电子商务原子性进行形式化描述的基础上,用SMV从钱原子性和商品原子性这两个角度对Digicash协议的原子性进行了分析和检验,指出了Digicash协议的缺陷,从而表明了用SMV对电子商务协议分析和验证的可行性。

摘要：原子性保证并行程序中的多线程以正确方式交互,大多主流的编程语言都没有提供确保原子性的内部机制。为了提高测试程序原子性的效率与准确性,提出了一种自动检测并行程序中违反原子性错误的算法。基于状态转换,建立了原子性的形式化定义。在此基础上,利用线程锁设计了具体的算法模型以及实现中需注意的细节,同时给出自动修正错误的设计思路和建议。结合常用的基准数据结构,对模型和算法进行了实验,实验结果表明了该算法的正确性和有效性。

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

摘要：针对数字交易中商家收钱不发货和顾客收货不承认等货物传输的安全性问题,设计一种基于ECDH密钥交换算法的电子支付协议原子性方案,通过客户和商家共同协商产生数字货物。结果表明,所提方案有效地解决了电子商务中有关数字交易卖方不发货、发货不符合规定和买方收货却抵赖不承认的问题。

摘要：原子性对于可靠、安全的电子商务交易是必不可少的,是参与交易各方利益的重要保证.基于Mu等设计的高效e-cash方案,提出一种原子、有效e-cash交易协议.该协议将数字商品传输有机地整合到支付过程中,在去除强假设条件下(通信信道可靠和交易双方诚实),协议不仅满足原子性、有效性,而且还为交易纠纷的解决提供非否认证据.

摘要：安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。

摘要：为了实现安全的网络在线支付,国际上已经提出了多种安全支付协议,其中SSL是目前国内网络在线支付中最常用的安全协议。本文分析和总结了SSL的不足之处,针对这些不足提出了一种安全网络在线支付协议SNOPP,并对该协议进行了分析。分析表明,本协议可以保证网络在线支付交易的安全性、原子性、可确认性和公平性。

摘要：针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。

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

摘要：针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。