公平交换协议的设计与安全性研究

论文摘要

电子商务时代,互联网的快速发展极大地提高了交易的便捷性,同时也带来了网络交易的危险性。由于数字化产品易于复制、网络环境又极其复杂,在网上从事商务活动存在特殊性——双方的交易活动一结束,双方当事人就可以消失的无影无踪,这为交易活动的可追究性,以及交易后可能出现的争议的妥善解决带来了巨大的麻烦。因此,如何保证网上交易活动的安全性就成了一个亟需解决的实际问题。这里的安全性不仅囊括开放网络中通信所要求的传统安全目标：有效性、机密性、认证性与完整性等,还需要具备时效性、不可否认性以及不可滥用性等特性,而公平交换协议正是实现这些安全性质的关键,日益受到国内外研究者的广泛关注。近年众多国内外研究者提出了一些高效的公平交换协议及用于构造双方公平交换协议的基本模块。这些成果为公平交换协议的研究开拓了思路、奠定了基础,但仍存在一些缺陷。如,大多数的公平交换协议不能很好的保证交易方的不可滥用性；构造双方公平交换协议的基本模块不能直接用于设计交互方式相对复杂的多方交换协议；多数多方合同签署协议仅适合于异步网络,消息延迟没有上限,需要的轮数较多,效率比较低。因此,在设计安全高效的公平交换协议方面还有很多工作需要深入研究。本文的目的即研究公平交换协议的设计及其安全性分析,主要内容包括四个方面：构造公平交换协议的基本模块、双方公平交换协议、多方公平交换协议以及无TTP参与的公平交换协议。主要创新工作如下：1、在公平交换协议的基本模块方面,利用基于身份的数字签名方案设计了可证安全的可验证加密签名方案。新方案中没有使用零知识证明系统提供验证,从而有效地避免了交互认证带来的效率损失2、在多方合同签署协议的基本模块方面,将可验证加密签名方案与聚合签名思想相结合,提出了可证安全的聚合可验证加密签名方案。从而,多个签署者可利用聚合可验证加密签名合成一个承诺消息,与验证者进行认证,避免了以往方案中验证者逐一与多个签署者进行交互认证。3、在双方公平交换协议方面,首先,利用Cha-Cheon的基于身份的签名方案设计了可证安全的可验证加密签名方案,并将此方案与基于身份的代理可验证加密签名方案相结合设计了一个新颖的多元合同签署协议。其交换双方可以为原始签署者和代理签署者的任意组合形式,即原始签署者与原始签署者、原始签署者与代理签署者以及代理签署者与代理签署者三种情形。其次,利用抗密钥暴露的哈希函数方案设计了一个新的具有时效性的公平交换协议。新协议的交换阶段并未使用零知识证明系统,有效降低了通信消耗,提高了协议效率。最后,指出2008年Gao等提出的满足不可滥用性的公平交换协议存在的安全漏洞,进而,引入时效性条件对此协议进行改进,提出了一个新的满足不可滥用性的公平交换协议。4、在多方交换协议方面,利用无限制聚合签名方案实现合同的签署和基于公钥密码系统的广播协议实现消息的分发,设计了一个新的多方合同签署协议。协议中不规定签署者发送消息的次序,设置了凭证的有效期,且无需提前确定不诚实签署者的数目。5、在无TTP参与的公平交换协议方面,通过安全性分析,首先指出2008年陈广辉等提出的基于并发签名的公平交换协议在两个参与者都诚实可信的情况下不满足不可滥用性。进而,提出了一个改进的满足不可滥用性的公平交换协议；其次,指出2010年罗铭等提出的基于签密的并发签名方案是存在伪造的,即在没有签名者的关键数与密钥的情况下,接收者利用签名者的有效模糊签名便可恢复出签密消息,且可以以签名者身份伪造任意消息的模糊签名。因此,基于该签密并发签名方案的公平交换协议方案也是不安全的。然后,对并发签名方案进行了改进,弥补了原并发签名方案的安全缺陷,从而能够有效保证公平交换协议的安全性。

论文目录

• 摘要
• ABSTRACT
• 符号说明
• 图表说明
• 目录
• 第一章 绪论
• 1.1 研究意义
• 1.2 公平交换协议
• 1.2.1 公平交换的定义
• 1.2.2 公平交换协议的分类
• 1.2.3 公平交换协议的安全性要求
• 1.2.4 公平交换协议的研究现状
• 1.3 相关基础知识
• 1.3.1 双线性对
• 1.3.2 困难问题
• 1.4 论文安排及主要研究成果
• 第二章 公平交换协议的基本模块
• 2.1 引言
• 2.2 基于身份的可验证加密签名方案
• 2.2.1 基于身份的可验证加密签名模型及安全模型
• 2.2.2 基于身份的可验证加密签名方案
• 2.2.3 基于身份的可验证加密签名方案的安全性及效率分析
• 2.3 聚合可验证加密签名方案
• 2.3.1 基于身份的聚合可验证加密签名模型及安全模型
• 2.3.2 聚合可验证加密签名方案
• 2.3.3 聚合可验证加密签名方案的安全性分析
• 2.4 本章小结
• 第三章 双方公平交换协议
• 3.1 引言
• 3.2 多元合同签署协议
• 3.2.1 多元合同签署协议模型
• 3.2.2 多元合同签署协议
• 3.2.3 多元合同签署协议的安全性分析
• 3.3 基于变色龙哈希函数的公平交换协议
• 3.3.1 抗密钥暴露变色龙哈希方案
• 3.3.2 基于抗密钥暴露变色龙哈希函数的公平交换协议
• 3.3.3 公平交换协议的安全性分析
• 3.4 改进的满足不可滥用性的公平交换协议
• 3.4.1 满足不可滥用性的公平交换协议
• 3.4.2 公平交换协议的安全性分析
• 3.4.3 改进的满足不可滥用性的公平交换协议
• 3.4.4 改进的公平交换协议的安全性分析
• 3.5 本章小结
• 第四章 多方公平交换协议
• 4.1 引言
• 4.2 基于聚合签名的多方合同签署协议
• 4.2.1 PCBP算法与BNN聚合签名
• 4.2.2 多方合同签署协议
• 4.2.3 多方合同签署协议的安全性分析
• 4.2.4 多方合同签署协议的效率分析
• 4.3 本章小结
• 第五章 无TTP参与的公平交换协议
• 5.1 引言
• 5.2 基于并发签名的公平交换协议的分析与改进
• 5.2.1 基于并发签名的公平交换协议
• 5.2.2 基于并发签名的公平交换协议的不可滥用性分析
• 5.2.3 改进的基于并发签名的公平交换协议
• 5.2.4 改进的基于并发签名的公平交换协议的分析
• 5.3 基于签密的公平交换协议的安全性分析与改进
• 5.3.1 基于签密的公平交换协议
• 5.3.2 基于签密的并发签名和公平交换协议的安全性分析
• 5.3.3 改进的基于签密的并发签名方案
• 5.3.4 改进的基于签密的并发签名方案的安全性分析
• 5.4 本章小结
• 第六章 总结与展望
• 6.1 本论文研究工作的总结
• 6.2 研究工作的展望
• 参考文献
• 致谢
• 攻读博士学位期间的成果
• 攻读博士学位期间参与的科研项目