基于公开可验证秘密分享的公平合同签署协议

通过引入n个离线半可信第三方提出一种新的公平合同签署协议.该协议利用公开可验证秘密分享(PVSS)原理,不仅实现了签名者隐私的保护,还有效地降低了签名者中的一方与离线半可信第三方合谋来获取另一方签名的概率,从而使得合同签署协议具有更好的公平性.另外,本协议还通过利用多重签名技术,使签名者最终获得同时包含双方签名的合同,这是传统纸质合同的显著特点,因此提出的协议具有一定的实用性.     

一种新的公平电子合同签署协议

针对许多协议在网络环境下的电子合同签署中不能完全实现公平性与保密性,利用ElGamal数字签名方案构建了一种新的同时生效签名方法并运用于公平电子合同签署协议。不引入第三方参与协议保证合同内容的保密性;利用模糊签名同时生效的方法保证电子合同签署的公平性。协议适用于大部分网络中的电子合同签署。     

基于签名者隐私保护的公平合同签署协议

电子合同签署是数字签名公平交换的实际应用,而签名者隐私的保密问题是影响电子合同签署协议应用的重要问题。提出一种基于签名者隐私保护的公平合同签署协议,通过利用签名的划分、签名的可验证加密及双线性对等技术实现对签名者隐私的保密。该协议结构简单,能保护签名者的隐私,效率较高。     

电子合同签署中有序多重数字签名的应用

电子合同签署协议作为当今社会用户在商定某种业务时的一种重要协议,对企业或个人的发展、利益等方面起着至关重要的作用,如何设计一种公平高效的电子合同签署协议成为主要问题和研究热点。基于离散对数求解的困难性问题,利用一种特殊的数字签名--有序多重数字签名设计一种公平高效的电子合同签署协议,通过增加时间戳,解决签名延时的缺陷,使得合同签署能够在一定的时间内完成,另外将签名严格按照某种特定顺序、特定时间执行,使得签名更加有序、高效。经证明分析,本文方案正确可行。     

无随机预言机的公平合同签署协议

针对目前已有的公平合同签署协议存在的不足,利用已有的无随机预言机模型下的短签名方案和q-强Diffie- Hellman假设,设计一种新的具有离线半可信第三方的公平合同签署协议,离线第三方只在意外情况下才介入协议,且在纠纷解决阶段只是协助参与方解密,则协议结束,第三方并不能获得参与方的签名。由于基于短签名,所需存储和通信的数据量小,该协议只适用于低带宽通信以及需要较小的数据存储量的环境。     

签名中嵌入用户身份信息的公平合同签署协议

通过在Schnorr签名中嵌入用户的身份信息设计了一个公平的合同签署协议。与已有的没有嵌入用户身份信息的合同签署协议相比,该协议具有更好的公平性。另外本协议还引入了n个离线的半可信第三方,分析表明这不仅实现了签名者隐私的保护,还有效地降低了签名者中的一方与离线半可信第三方合谋来获取另一方签名的概率,它的理论基础是公开可验证秘密分享。     

签名中嵌入用户身份信息的公平合同签署协议

通过在Schnorr签名中嵌入用户的身份信息设计了一个公平的合同签署协议。与已有的没有嵌入用户身份信息的合同签署协议相比,该协议具有更好的公平性。另外本协议还引入了n个离线的半可信第三方,分析表明这不仅实现了签名者隐私的保护,还有效地降低了签名者中的一方与离线半可信第三方合谋来获取另一方签名的概率,它的理论基础是公开可验证秘密分享。     

一个高效的基于RSA签名的合同签署协议

公平交换在电子商务活动中起着越来越重要的作用,合同签署协议是公平交换的一种具体实例。基于可转化签名思想和非交互的认证技术,提出一个新的合同签署协议,分析表明,新协议不仅具有优化性、公平性、实时终止性、无滥用性、TTP的无状态性等优点,而且具有高效性的特点。     

基于离线可信第三方的公平电子合同签署协议

电子合同签署是电子商务中的一个重要领域,公平电子合同签署协议是公平交换协议的一种应用模型,然而已有的公平电子合同签署协议存在各种安全缺陷.设计了一种新的基于离线可信第三方的公平电子合同签署协议,该协议能够解决已有协议的缺陷,并且提高了协议的执行效率.对协议的安全性进行了分析和证明,结果表明,本协议保证了交换活动的公平进行,从而为电子商务提供了完整的安全保障.     

多元合同签署协议

利用Cha-Cheon的基于身份的签名方案提出了一个可证安全的基于身份的可验证加密签名(verifiably encrypted signature,简称 VES)方案,并利用该方案和基于身份的代理可验证加密签名(proxy verifiably encrypted signature,简称 PVES)方案提出了一个新颖的多元合同签署协议.信息交换过程中,原始签名者或代理签名者分别利用VES或PVES实现承诺消息的交换与认证,并未使用复杂的零知识证明系统,从而有效避免了大量运算.当争议发生时,可信第三方从VES或PVES中恢复出有效的合同签名,以保证签署者的公平性.安全性分析结果表明,协议满足不可否认性、时效性以及公平性.     

电子合同签订协议的符号模型检验分析

与密钥分发和认证协议相比,电子合同签订协议的形式化分析遇到了新的挑战。以Asokan、Shoup和Waidner提出的乐观合同签订协议为例,在对协议进行建模以及对相应的安全性质进行形式化描述的基础上,用符号模型检验器SMV对公平性、适时性和无滥用性进行了分析,检测出了相关的缺陷。表明了用SMV对电子合同签订协议进行符号模型分析的有效性。     

带有半可信第三方的新的合同签署协议

在公平交换中可验证加密是最重要的基础之一，文中提出一种新的盲解密的可验证加密方案，并在此基础上设计了使用半可信第三方的合同签署协议，此协议尤其是一对多的协议是在交换拓扑不确定情况下的协议，协议中的交换关系对外是保密的，从而解决了Franklin提出的一个公开问题，具有更切合实际、更安全实用等优点，同时这也是首次提出带半可信第三方的多方合同签署协议。     

具有非泄露性的公平签约协议

针对目前已有的公平签约协议存在的不足,提出了签约协议非泄露性的概念,结合具有指定接受方签名方案的原理,改进双线性聚集签名方案,构建了一种具有非泄露性的公平签约协议,并对协议性质进行了分析。     

公平电子合同协议的模块化设计方法

电子合同协议的研究越来越受到人们的重视。本文提出一种模块化的方法来设计公平电子合同协议。通过对电子合同的签定过程进行分析,定义了一套协议模块,利用这些模块可以有效地构造公平电子合同协议。该方法不仅能降低协议设计和分析的复杂度,而且使得设计者可以根据不同的应用需求,灵活地设计公平性程度不同的电子合同协议。     

Contract signing, optimism, and advantage

A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text. Optimistic contract signing protocols enable the signers to do so without invoking a trusted third party. However, an adjudicating third party remains available should one or both signers seek timely resolution. We analyze optimistic contract signing protocols using a game-theoretic approach and prove a fundamental impossibility result: in any fair, optimistic, timely protocol, an optimistic player yields an advantage to the opponent. The proof relies on a careful characterization of optimistic play that postpones communication to the third party.     

非滥用合同签署协议的研究

非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。