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

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 丁洁;王鑫;;对基于公钥密码体制的IBS协议的改进[J];信息技术;2007年05期
12 卜凡金;邢育红;;RSA-CEMD协议的分析及基于串空间模型的形式化证明[J];计算机工程与科学;2007年02期
13 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期
14 李志敏,文静华;一个新的电子发票协议及其公平性分析[J];海军工程大学学报;2005年04期
15 范钰丹;韩继红;王亚弟;赵宇;;非否认协议形式化分析技术[J];计算机应用;2006年11期
16 李楹;陈鲁生;;一种分析电子现金协议的工具[J];南开大学学报(自然科学版);2010年03期
17 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[J];微电子学与计算机;2007年09期
18 阮峰;候建敏;张中秋;范志勇;;一种乐观电子商务协议的公平性分析[J];计算机工程与应用;2009年35期
19 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[J];微电子学与计算机;2009年08期
20 黎波涛,罗军舟;不可否认协议形式化分析的SVO逻辑方法[J];东南大学学报(自然科学版);2005年05期
中国重要会议论文全文数据库 前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 邢育红;公平交换协议分析方法研究[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年
中国重要报纸全文数据库 前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年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978