收藏本站
《山东大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

公平交换协议分析方法研究

邢育红  
【摘要】:随着Internet的日益发展与普及,电子商务已成为基于Internet的现代经济活动的主要形式之一。电子商务交易中通常涉及到互不信任的交易方。电子商务活动的主要问题之一就是在任意两个互不信任的主体之间以一种公平的方式来交换电子数据。公平性和可行性成为这类电子商务协议的基本要求。公平交换协议可以使得参与交换的双方以公平的方式交换信息,这样,要么任何一方都可以得到对方的信息,要么双方都得不到对方的信息。 安全协议的设计是一个众所周知的难题,常因一些细微的问题产生缺陷。一个安全协议是否能达到设计者所期望的安全目标,需要对其进行严格的形式化分析。目前已有众多分析认证协议的形式化分析方法。公平交换协议是更为复杂的安全协议,它不仅需要满足认证协议的安全需求,还要考虑认证协议中未涉及到的若干安全性质,例如公平性、适时中止性、可追究性等。分析认证协议的方法不再直接适用于分析公平交换协议。 目前已有一些分析公平交换协议的形式化方法,其中有将分析认证协议的方法稍做扩展,使之适用于分析公平交换协议的,如Paulson的归纳法[87],Schneider的CSP方法[85],Vitaly Shmatikov和John Mitchell的Mur φ[89]等;有将一般协议检测工具用于分析公平交换协议的,如Boyd和Kearny提出了用协议规范演示工具Possum分析公平交换协议[88],Steve Kremer使用ATS模型检测工具Mocha检测协议[92]等。这些方法有的不涉及协议的分支(branch),有的不能分析协议的可追究性。目前对公平交换协议的分析是一个新的领域,一些方法、技术还有待于完善。 本文主要研究公平交换协议的分析方法,包括对公平交换协议要满足的主要特性:公平性、可行性、适时中止性、可追究性的分析。
【学位授予单位】:山东大学
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP393.04

手机知网App
【引证文献】
中国博士学位论文全文数据库 前2条
1 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
2 陈广辉;公平交易协议与协议公平性研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前5条
1 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
2 武晓峰;数字签名的公平交换研究[D];西安理工大学;2008年
3 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
4 马生;有穷机和逻辑结合的电子商务协议分析方法[D];燕山大学;2012年
5 李桦;公平交换协议研究[D];电子科技大学;2012年
【参考文献】
中国期刊全文数据库 前2条
1 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑:信息科学;2005年02期
2 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
【共引文献】
中国期刊全文数据库 前10条
1 岳永红;张建中;;一种简单高效的网上订货协议[J];宝鸡文理学院学报(自然科学版);2008年04期
2 隋爱芬,杨义先,钮心忻,罗守山;基于椭圆曲线密码的可认证密钥协商协议的研究[J];北京邮电大学学报;2004年03期
3 袁丁,范平志;电子证据与反拒认协议及形式化分析[J];电子科技大学学报;2004年05期
4 汪小芬;李胜强;肖国镇;;认证群密钥协商协议的安全性分析与改进[J];电子科技大学学报;2009年01期
5 黄晓芳;赖欣;马兆丰;杨义先;钮心忻;;计费公平的安全移动数字版权管理方案[J];电子科技大学学报;2009年02期
6 崔军;刘琦;张振涛;李忠献;杨义先;;可转换认证加密的安全邮件协议[J];电子科技大学学报;2010年04期
7 王可心,韩芳溪;Kailar逻辑推理中初始状态假设[J];大连理工大学学报;2003年S1期
8 刘慧芳;;基于串空间模型的Andrew安全RPC协议分析[J];电脑编程技巧与维护;2012年04期
9 周斌;尹方平;;基于PKI的数字认证系统的设计与实现[J];电脑知识与技术;2006年02期
10 曹进;;计算机协议安全漏洞及其防护[J];电脑知识与技术;2006年26期
中国重要会议论文全文数据库 前6条
1 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
2 徐天岭;王景中;袁开国;杨义先;;基于USB-KEY的P2P保密通信研究与实现[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
3 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
4 贺琦;鲁昌华;侯锋平;;基于指纹识别与数字签名的身份认证系统设计[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 赵榛;刘桂;鲍飞;刘克钧;;防止SYN Flooding攻击的TCP三路握手改进方案[A];中国通信学会信息通信网络技术委员会2003年年会论文集[C];2003年
6 刘顺利;洪晓光;安定;;数字证书在网上申报中的应用[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
中国博士学位论文全文数据库 前10条
1 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
2 孙艳宾;公平交换协议的设计与安全性研究[D];北京邮电大学;2011年
3 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
4 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
5 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
6 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
7 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
8 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
9 赵建杰;认证密钥协商协议的分析与设计[D];上海交通大学;2011年
10 陈剑洪;若干密钥隔离密码体制的研究[D];上海交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 肖丽;基于SMS的移动支付系统及相关技术的研究[D];中国海洋大学;2008年
3 丁晓飞;口令认证密钥交换协议的设计与安全性证明[D];解放军信息工程大学;2009年
4 张小龙;安全协议形式化描述语言的设计与解析[D];解放军信息工程大学;2009年
5 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
6 邓少锋;基于CPK或者口令认证的密钥建立协议的设计与分析[D];解放军信息工程大学;2010年
7 鄂冬娜;基于RSA公钥体制的可证安全的PAKE协议[D];解放军信息工程大学;2010年
8 夏松;基于身份的AKA协议若干问题研究[D];解放军信息工程大学;2010年
9 马松;不可否认机制与时间戳服务系统研究[D];西安电子科技大学;2009年
10 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 仲红;黄刘生;罗永龙;;安全电子选举研究[J];安徽大学学报(自然科学版);2007年03期
2 秦志光;罗绪成;;P2P共享系统中无需专用TTP的公平交换协议[J];电子科技大学学报;2006年S1期
3 刘道斌,郭莉,白硕;基于Petri网的安全协议形式化分析[J];电子学报;2004年11期
4 范红,冯登国;一个非否认协议ZG的形式化分析[J];电子学报;2005年01期
5 马春光,杨义先,胡正名,武朋;可直接花费余额的电子支票系统[J];电子学报;2005年09期
6 王彩芬,贾爱库,刘军龙,于成尊;基于签密的多方认证邮件协议[J];电子学报;2005年11期
7 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期
8 周勇;朱梧槚;;一种验证非否认协议的新方法[J];电子与信息学报;2007年10期
9 于瑞华;SSL协议实现与PKI体系的支持[J];中国人民公安大学学报(自然科学版);2004年01期
10 丁洁;王鑫;;对基于公钥密码体制的IBS协议的改进[J];信息技术;2007年05期
中国博士学位论文全文数据库 前10条
1 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
2 刘培顺;判决PN机理论及其在入侵检测中的应用[D];西南交通大学;2005年
3 孟博;电子商务环境中在线支付协议和抗抵赖协议的研究[D];武汉理工大学;2003年
4 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
5 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
6 骆翔宇;多智能体系统的符号模型检测[D];中山大学;2006年
7 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
8 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
9 张青;具特殊性质的数字签名和公平交换协议研究[D];北京邮电大学;2007年
10 刘景伟;电子商务中的公平交换协议研究[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前3条
1 李华平;公平电子支付方案的研究与设计[D];西安电子科技大学;2006年
2 雷超琴;电子支付系统研究[D];西安电子科技大学;2007年
3 李睿;电子商务中的第三方支付研究[D];北京交通大学;2009年
【二级引证文献】
中国硕士学位论文全文数据库 前1条
1 景旭;并发签名在公平交换协议中的应用研究[D];西南交通大学;2011年
【二级参考文献】
中国期刊全文数据库 前6条
1 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑:信息科学;2005年02期
2 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
3 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
4 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
5 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
6 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期
【相似文献】
中国期刊全文数据库 前10条
1 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
2 余昭平,张岚;改进的Kailar逻辑在协议分析中的应用[J];计算机工程与应用;2005年32期
3 高悦翔;彭代渊;;一种挂号电子邮件协议的设计及其形式化分析[J];计算机应用;2008年08期
4 王彩芬,葛建华;一种分析电子商务协议的新方法[J];计算机学报;2004年04期
5 何冰,李肖坚,夏春和,夏克俭;公平的多方不可否认协议[J];计算机工程与应用;2005年27期
6 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
7 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期
8 张梅;文静华;张焕国;;基于ATL方法的电子商务协议FONRP分析[J];计算机工程;2008年03期
9 范钰丹;韩继红;王亚弟;赵宇;朱玉娜;;基于一阶逻辑的非否认协议模型[J];计算机应用;2007年09期
10 丁洁;胡晶;王锁萍;;对一种电子支付协议的改进[J];南京邮电学院学报;2005年04期
中国重要会议论文全文数据库 前10条
1 卢宁;;论排污权交易在中国实施的可行性[A];适应市场机制的环境法制建设问题研究——2002年中国环境资源法学研讨会论文集(上册)[C];2002年
2 黄蕙;付先进;顾军花;;洪泽湖16号标避风港工程设计研究[A];第十三届中国海洋(岸)工程学术讨论会论文集[C];2007年
3 张建民;荆保平;;阳煤集团坪上煤矿上行开采可行性探讨[A];矿山建设工程技术新进展——2008全国矿山建设学术会议文集(下)[C];2008年
4 文先保;王景琦;;关于建立行政公益诉讼制度的思考[A];中国法学会行政法学研究会2009年年会论文集(下册)[C];2009年
5 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
6 闫晓军;;田径运动在新农村建设中的作用及发展趋势[A];都市型高等农业教育教学改革论文专辑[C];2007年
7 袁思胜;黄云;;低碳低硅中宽冷轧无取向电工钢带生产初探[A];第七届(2009)中国钢铁年会大会论文集(中)[C];2009年
8 杜晓晓;;试论时间距离对决策预测效用的影响[A];第十二届全国心理学学术大会论文摘要集[C];2009年
9 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
10 孙秀梅;张兆旺;;用“半仿生提取法”研制中药配方颗粒的设想[A];中华中医药学会第三届中药炮制分会学术会议论文集[C];2003年
中国重要报纸全文数据库 前10条
1 卢丹;新房屋征收条例应着重补偿的公平性[N];中国建设报;2010年
2 孙云李明强;航意险法律关系及公平性检视[N];中国保险报;2008年
3 记者 刘伟邱晶晶 通讯员 谢锦辉 范小乐;建立重要事项决策前协商制度[N];深圳特区报;2008年
4 本报记者 钱唐;PE政策应兼具穿透力与公平性[N];中国证券报;2010年
5 本报记者 王铭;供暖改革将以低收入群体受益为成败标准[N];中国社会报;2006年
6 孙雷;渐进式改革:回归税负公平性[N];21世纪经济报道;2006年
7 周到;IPO公平性逐步提高[N];证券时报;2006年
8 周婷玉;第十一届全球卫生研究论坛关注卫生领域的公平性[N];人民日报;2007年
9 魏萍;中国妇女健康行动分三步走[N];健康报;2008年
10 俞靓;银行业要在实质上实施新资本协议[N];中国证券报;2008年
中国博士学位论文全文数据库 前10条
1 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
2 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
3 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
4 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
5 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
6 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
7 孙艳宾;公平交换协议的设计与安全性研究[D];北京邮电大学;2011年
8 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
9 徐建;TCP/IP的公平性研究[D];浙江大学;2004年
10 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
中国硕士学位论文全文数据库 前10条
1 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
2 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
3 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
4 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
5 范伟;电子支付协议的公平性研究[D];西安电子科技大学;2007年
6 席琳;安全电子商务协议的逻辑分析方法研究[D];郑州大学;2007年
7 杜红珍;不可否认协议及其逻辑验证[D];陕西师范大学;2006年
8 王洪;独立董事的制度价值研究[D];西南政法大学;2005年
9 翁洁;论民事诉讼中的诚实信用原则[D];四川大学;2005年
10 贺栋;合资生产汽车仪表油泵部件项目开发方案[D];四川大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026