收藏本站
《陕西师范大学》 2004年
收藏 | 手机打开
二维码
手机客户端打开本文

不可否认协议及其应用的研究

李艳平  
【摘要】:随着Internet的日益发展与电子商务的普及,电子数据的安全交换对许多电子交易变得至关重要。特别是通过开放的不安全网络传输有价消息或重要数据时,需要一系列的安全服务来确保交易能公平进行,不可否认服务即是其中一个重要的安全服务。它是通过为收发方生成不可辩驳的电子证据,保证电子数据的交易方不能否认他在交易中曾发送或收到过某消息,从而迫使交易方对其行为负责,避免了非面对面的电子交易中可能产生的抵赖纠纷。因此,为了各种有价电子数据公平、安全地交换,设计可提供不可否认服务的安全协议成为一个研究热点。我们把为提供不可否认服务而设计的的安全协议称为不可否认协议。无疑,设计良好的不可否认协议将有利于电子商务的进一步开展。 本文就是在这样一个大背景下对不可否认协议及其应用进行了研究。对不可否认协议的研究背景、研究现状和研究意义进行了介绍;对不可否认协议中的基本概念、常用术语进行了定义;分别对现已公开发表的不可否认协议存在的安全缺陷和面临的新的安全需求进行了归纳总结。同时作者提出三个具有不同交换结构、满足不同安全需求与应用环境的双/多方可实现不可否认的协议,并对它们各自的安全性进行了详细的分析与证明。 本论文的主要研究成果如下: 1.首次给出不可否认协议的明确定义和详细分类。 2.利用公钥体制、私钥体制和安全Hash函数与公钥证书,提出一种新的双方不可否认协议,很好的避免了现已公开发表的双方不可否认协议中存在的多种安全隐患,并能很好地抵抗参与各方的否认与欺诈。然后用周典萃、卿斯汉等提出的一种新的形式化分析工具对该协议的安全性进行了逻辑验证,证明其实现了可行性、不可否认性、强公平性和时效性。 3.借助M Girault,G Poupard和J Stern提出的一个数字签名方案(后文简称GPS方案)和群加密方案,提出一个带有透明可信第三方(Trusted Third Party,简称为TTP)的多方不可否认协议。其中离线的TTP在协议出现纠纷的情况下介入协议,并生成与参与方在正常情况下生成的证据一模一样的证据,避免了对人们对TTP介入原因的猜测以及参与方坏的声誉影响,且能实现真正的公平和期望传递,故在电子商务中具有很大的实用价值。 4.首次分析了不可否认协议与公平交换协议之间的区别与联系。 5.利用公开可验证秘密共享及群加密方案,提出一个能实现不可否认的多方 公平交换协议,该协议具有以下特点:离线第三方只在意外情况下才介入协议, 实现了网上交易的最优化;离线第三方不必完全可信,因其只能解密半个密钥分 量;参与方可因意外事故退出协议而无损公平,使交易更加灵活且符合实际;保 证了交换数据的机密性和交换拓扑的保密性(包括第三方),成功的解决了多方交 换拓扑的保密性这一公开问题. 6.对影响不可否认协议实现的其他相关问题进行了归纳总结,同时给出一些 解决思路与方法.对不可否认协议今后可能的研究热点与发展方向进行了展望.
【学位授予单位】:陕西师范大学
【学位级别】:硕士
【学位授予年份】:2004
【分类号】:TP393.04

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前1条
1 范伟;电子支付协议的公平性研究[D];西安电子科技大学;2007年
【参考文献】
中国期刊全文数据库 前10条
1 邓所云,胡正名,钮心忻,杨义先;一个公平的多方的不可否认协议[J];安全与环境学报;2001年05期
2 王彩芬,葛建华;带脱线半可信第三方的公平非否认交换协议[J];电子学报;2002年02期
3 张键红,王继林,王育民;一种基于公告牌的反拒认协议[J];电子与信息学报;2004年02期
4 沈炜,陈纯;不可否认协议的公平性差异[J];计算机工程与应用;2003年03期
5 王志巍,吴丽红,王天青;两方间收方不可否认的数字签名[J];计算机工程;2001年07期
6 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
7 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
8 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
9 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
10 邓所云,胡正名,钮心忻,杨义先;一个公平的反拒认协议[J];通信学报;2002年02期
【共引文献】
中国期刊全文数据库 前10条
1 王群芳,马兆良;我国网络银行的现状与发展[J];安徽教育学院学报;2004年03期
2 汪洋;电子商务支付模式选择[J];安徽建筑工业学院学报(自然科学版);2001年04期
3 蔡瑞玲;电子商务与个性化需求[J];安徽农业大学学报(社会科学版);2000年04期
4 余绍黔;;农产品电子商务技术研究[J];安徽农业科学;2011年35期
5 冯长根,刘振翼;信息安全的现状与若干进展[J];安全与环境学报;2003年01期
6 刘芳;;农村商品流通现代化的模式分析[J];北方经济;2008年02期
7 王红华;;电子商务模式的分析与研究[J];办公自动化;2009年18期
8 文继跃;常桂然;;金融信息网格[J];北京航空航天大学学报(社会科学版);2006年04期
9 王秦;敖静海;;移动商务环境下身份认证机制的研究[J];北京联合大学学报(自然科学版);2011年03期
10 苑春荟,左震林,梁雄健;电子商务重整企业价值链[J];北京师范大学学报(人文社会科学版);2002年04期
中国重要会议论文全文数据库 前8条
1 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 陈若;;烟草信息化与企业变革管理之关联研究[A];湖北省烟草学会2007年学术年会论文集[C];2007年
4 郭甜滋;毛楠;司志刚;陈丽;;Kerberos协议在单点登录中的改进及应用[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
5 周华兰;;论电子商务在我国农产品贸易中的应用[A];中国市场营销创新与发展学术研讨会论文集[C];2009年
6 史达;;企业开展电子商务的成本分析[A];全国高校价值工程研究会2001学术年会优秀论文、大连理工大学2001届MBA优秀论文专辑[C];2001年
7 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 傅建庆;面向3G-WLAN互联网络的安全协议研究[D];浙江大学;2010年
2 张冬芳;3G网络的身份认证与内容安全关键技术研究[D];北京邮电大学;2010年
3 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
4 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
5 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
6 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
7 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
8 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
9 张向军;集成化电子货币支付协议的研究[D];上海交通大学;2009年
10 周慧华;密钥建立协议及其云存储应用研究[D];华中科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 孙晓武;营口外代第三方物流运营策略研究[D];大连理工大学;2010年
3 帅发强;网络服务提供者侵权责任探析[D];南昌大学;2010年
4 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
5 詹慧;基于FeaVer的Kerberos形式化验证和改进[D];华东理工大学;2011年
6 舒勇;端到端的信息安全传输系统关键技术研究[D];北京交通大学;2011年
7 金玮;科技市场电子商务系统的设计与实现[D];电子科技大学;2010年
8 李安乐;公钥密码体制可证安全性自动化分析描述模型的设计与实现[D];解放军信息工程大学;2010年
9 王开宇;WiMAX网络中认证密钥协商协议设计与分析[D];解放军信息工程大学;2009年
10 李琳;基于策略的内网终端访问控制技术研究与实现[D];解放军信息工程大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 邓所云,胡正名,钮心忻,杨义先;一个公平的多方的不可否认协议[J];安全与环境学报;2001年05期
2 陈雪松,张方舟,李勤;通信系统安全技术应用——一种新型非否认协议[J];大庆石油学院学报;2005年02期
3 王彩芬,葛建华,屈劲,杨世勇;一个带半可信第三方的公平非否认交换协议[J];华中科技大学学报;2001年07期
4 付小青,杨一涛;一种改进的移动支付系统模型[J];华中科技大学学报(自然科学版);2004年12期
5 付雄;程文青;郎为民;谭运猛;熊志强;;安全电子支付系统研究[J];计算机科学;2005年01期
6 孙永兴,马文平,王新梅;一种有效的公平电子商务协议[J];计算机学报;2000年07期
7 辛运帏,廖大春,卢桂章;单向散列函数的原理、实现和在密码学中的应用[J];计算机应用研究;2002年02期
8 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
9 李先贤,怀进鹏;公平的非否认密码协议及其形式分析与应用[J];软件学报;2000年12期
10 周龙骧;电子商务协议研究综述[J];软件学报;2001年07期
【二级参考文献】
中国期刊全文数据库 前8条
1 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期
2 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
3 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期
4 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
5 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
6 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
7 蒋晓宁,叶澄清;电子证据与反拒认协议[J];通信学报;2000年07期
8 付小青,徐智勇,邓宗海;收方不可否认的数字签名[J];小型微型计算机系统;1997年04期
【相似文献】
中国期刊全文数据库 前10条
1 李艳平,张建中;带离线半可信第三方的多方交换协议[J];西安电子科技大学学报;2004年05期
2 李艳平,张建中;一种新型的多方公平交换协议[J];电子与信息学报;2004年08期
3 王彩芬,葛建华,屈劲,杨世勇;一个带半可信第三方的公平非否认交换协议[J];华中科技大学学报;2001年07期
4 王彩芬,葛建华,刘春阳;带有半可信第三方的新的合同签署协议[J];计算机应用;2004年02期
5 ;电子技术应用[J];电子科技文摘;2006年02期
6 王彩芬,葛建华;带脱线半可信第三方的公平非否认交换协议[J];电子学报;2002年02期
7 张福泰,赵福祥,王育民;基于可验证秘密分享的共享验证签名方案[J];西安电子科技大学学报;2002年02期
8 王莉,于秀源,吴铤,沈忠华;基于可验证秘密分享的口令共享认证方案[J];科学技术与工程;2003年05期
9 谭晓青;;基于线性码的可验证秘密分享方案[J];信息安全与通信保密;2007年05期
10 张福泰,师军,王育民;向量空间接入结构上信息论安全的可验证秘密分享[J];电子与信息学报;2004年08期
中国重要会议论文全文数据库 前1条
1 王彩芬;葛建华;;基于RSA和盲签名的高效的公平交换协议[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
中国博士学位论文全文数据库 前9条
1 张福泰;可验证秘密分享及其应用研究[D];西安电子科技大学;2001年
2 胡豫濮;分组密码的设计与安全性分析[D];西安电子科技大学;1999年
3 樊凯;电子支付安全性问题研究[D];西安电子科技大学;2007年
4 刘景伟;电子商务中的公平交换协议研究[D];西安电子科技大学;2007年
5 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
6 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
7 张青;具特殊性质的数字签名和公平交换协议研究[D];北京邮电大学;2007年
8 刘年生;神经网络混沌加密算法及其在下一代互联网安全通信中的应用研究[D];厦门大学;2003年
9 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
中国硕士学位论文全文数据库 前10条
1 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
2 吴晓亮;可验证秘密分享及其应用研究[D];燕山大学;2010年
3 金新娟;基于公平交易协议的数字作品电子交易平台的设计与研究[D];武汉理工大学;2006年
4 董攀;移动Ad-Hoc网络的分布式安全算法研究[D];中国人民解放军国防科学技术大学;2002年
5 茹秀娟;秘密共享及其在门限签名中的应用[D];陕西师范大学;2007年
6 吕敏芳;电子支付与电子现金安全技术研究[D];上海交通大学;2007年
7 何淼;DRM加密方案的研究与设计[D];汕头大学;2011年
8 周亦鹏;基于半可信第三方的数字水印协议及其应用研究[D];太原理工大学;2003年
9 钱可龙;面向群体的加密和数字签名理论及应用研究[D];山东大学;2008年
10 杜红珍;不可否认协议及其逻辑验证[D];陕西师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026