收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

乐观公平交换协议形式化逻辑及其自动证明技术

陈明  
【摘要】:随着Internet的日益发展与普及,电子信息交换已成为现代经济生活的主要形式之一,它是在任意两个互不信任的主体之间以一种公平的方式来交换电子数据。实现公平电子信息交换的协议被称为公平交换协议,公平性成为这类型协议的基本安全属性,目标是实现数据交换而又不会使一方比另一方有获取更多信息的优势,促使互不信任的合作伙伴公平完成交换。 公平交换协议是一类重要的安全协议,而其设计是一个众所周知的难题,常常因为一些细微的问题产生安全缺陷。目前已有一些分析公平交换协议的形式化方法,最典型和得到广泛应用的是信任逻辑方法。许多研究者采用扩展的信任逻辑方法成功分析了在线可信第三方公平交换协议的不可否认性。由于信任逻辑方法自身固有的缺陷,难以用于分析乐观型公平交换协议的公平性和时限性等性质。 乐观型公平交换协议是目前公平交换协议研究领域的热点之一,是一种兼顾公平和效率的公平交换协议形式。在乐观型公平交换协议中,可信第三方不再直接参与数据交换,只需要扮演争端解决者的角色。交易过程中对可信第三方的请求次数远远低于其它类型的公平交换协议,避免了针对可信第三方的拒绝服务攻击。但是,乐观型公平交换协议引入了分支协议结构,协议执行存在多种可能结果,使得对该类型协议的形式化分析更加复杂和困难。 本文研究工作围绕乐观型公平交换协议及其形式化分析技术展开,主要包括三方面内容:第一,对公平交换协议及其形式化技术进行研究综述;第二,研究乐观公平交换协议形式化模型、逻辑及其自动证明技术;第三,研究乐观公平交换协议在电子商务中的应用和实现技术。论文主要工作和创新性成果如下: 1.对公平交换协议的基本理论和基本性质进行综述和分析,对其中一些重要性质进行重新定义,如公平性等。 2.对主要的公平交换协议形式化分析方法进行综述性研究,讨论各种方法的优缺点及其存在的问题。 3.提出一种新的乐观公平交换协议形式化模型,将信道错误转化为攻击行为,将协议参与者分为诚实与不诚实两类,将入侵者与不诚实参与者的共谋归结为两类Dolev-Yao入侵者。新模型不再单独考虑信道错误,简化了问题空间。 4.提出一种乐观公平交换协议形式化逻辑。新逻辑采用信任逻辑的句法结构,定义乐观公平交换协议为具有Kripke语义结构的演化系统。案例分析显示,新逻辑被成功用于分析乐观型公平交换协议的公平性和时限性。 5.基于自动定理证明器Isabelle,研究实现本文模型和逻辑的自动定理证明技术。采用Paulson归纳法实现更为主动的攻击者,将攻击者主动获取知识的能力描述为对消息进行解析和组合的归纳函数。将信道假设对应为不诚实参与者的行为,以降低协议模拟的复杂度。 6.提出双授权部分盲签名概念,解决电子支付中银行经理滥用职权恶意签发电子钱币的问题。设计实现采用双授权的部分盲签名机制,在随机预言机模型下证明新签名机制是安全的。对比分析表明,新机制具有较高的计算性能。 7.提出新的乐观型电子支付协议。新协议采用双授权部分盲签名机制,同时实现电子现金离线支付(支付阶段无须银行在线支持)和乐观型公平交换。具有复杂结构的安全协议形式化技术研究正在蓬勃发展,本文研究工作对促进这一研究领域发展和电子商务安全具有一定的理论和实用意义。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 田文春,韦岗;基于离散对数的VES改进及在公平交换协议中的应用[J];计算机工程与应用;2002年18期
2 李柏岩,姚文胜,尤晋元;基于信任逻辑的PKI互通信任模型形式化[J];上海交通大学学报;2004年S1期
3 周永彬,张振峰,卿斯汉,季庆光,袁秀梅;基于RSA密码体制构造一类新型的CEMBS[J];计算机研究与发展;2004年03期
4 赵一鸣,刘立铭,鲍振东;局域网中的密钥管理协议及其安全性分析[J];信息安全与通信保密;1998年01期
5 徐静;张振峰;冯登国;;利用代理签名构造基于身份的优化公平交换协议(英文)[J];软件学报;2007年03期
6 马昌社;;改进的基于RSA签名的公平交换协议[J];计算机系统应用;2007年02期
7 李先贤,怀进鹏;公平的非否认密码协议及其形式分析与应用[J];软件学报;2000年12期
8 南相浩;谈一谈CA的证明链[J];网络安全技术与应用;2001年01期
9 邢育红;李大兴;卿斯汉;;RSA-CEMD协议的缺陷及改进[J];山东大学学报(工学版);2005年06期
10 王芷玲;张玉清;杨波;;公平交换协议设计原则[J];中国科学院研究生院学报;2006年04期
11 张青;温巧燕;;一种新的公平交换协议[J];北京邮电大学学报;2006年05期
12 王芷玲;张玉清;杨波;;一个公平电子合同签署协议的设计[J];计算机工程;2006年19期
13 王芷玲;张玉清;杨波;;Micali类公平交换协议的分析[J];计算机应用研究;2006年11期
14 严亚俊;;XTR签名的可验证加密[J];西安邮电学院学报;2007年05期
15 高伟;李飞;崔少燕;;一种基于BLS签名的优化公平交换协议[J];计算机工程与应用;2008年32期
16 沈海峰;薛锐;黄河燕;;用串空间分析公平交换协议[J];小型微型计算机系统;2006年01期
17 马昌社;;简单快速的优化公平交换协议[J];计算机工程;2007年15期
18 王斌;关志峰;夏斌;李正权;;一个基于多方的公平交换协议[J];扬州大学学报(自然科学版);2008年01期
19 辛向军;李清波;;多个提取者的可验证的加密签名方案[J];郑州轻工业学院学报(自然科学版);2008年06期
20 夏琦;许春香;;对一个可验证加密签名方案的安全性分析[J];计算机工程与应用;2009年30期
中国重要会议论文全文数据库 前2条
1 王彩芬;葛建华;;基于RSA和盲签名的高效的公平交换协议[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
2 赵洋;秦志光;蓝天;王佳昊;;基于可验证加密机制的多方公平交换协议[A];全国网络与信息安全技术研讨会论文集(下册)[C];2007年
中国博士学位论文全文数据库 前10条
1 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
2 孙艳宾;公平交换协议的设计与安全性研究[D];北京邮电大学;2011年
3 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
4 徐志大;信息系统纵深防护关键技术研究[D];中国人民解放军信息工程大学;2003年
5 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
6 刘景伟;电子商务中的公平交换协议研究[D];西安电子科技大学;2007年
7 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
8 张青;具特殊性质的数字签名和公平交换协议研究[D];北京邮电大学;2007年
9 夏洪涛;SSL VPN中非对称隧道等若干关键技术的研究[D];华中科技大学;2007年
10 蒋瀚;面向多方的密码学方案研究[D];山东大学;2008年
中国硕士学位论文全文数据库 前10条
1 景旭;并发签名在公平交换协议中的应用研究[D];西南交通大学;2011年
2 李桦;公平交换协议研究[D];电子科技大学;2012年
3 公晨;公平交换协议研究及其在电子商务中的应用[D];电子科技大学;2008年
4 王蕾;基于公平交换协议的电子商务平台的研究与实现[D];电子科技大学;2007年
5 严亚俊;盲群签名与公平交换协议的研究[D];西安电子科技大学;2005年
6 武晓峰;数字签名的公平交换研究[D];西安理工大学;2008年
7 何成林;电子商务中公平交易的研究[D];重庆大学;2008年
8 王延平;公平电子支付协议的研究与设计[D];西安电子科技大学;2007年
9 周睿;基于自动机理论的同时签名算法研究与实现[D];南京理工大学;2008年
10 杜红珍;不可否认协议及其逻辑验证[D];陕西师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978