收藏本站
《计算机工程与应用》 2005年27期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

公平的多方不可否认协议

何冰  李肖坚  夏春和  夏克俭  
【摘要】:电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双重组加密方法的多方不可否认协议,进一步削弱了发送方的优势。最后用SVO逻辑的形式化分析方法证明了协议的正确性。

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 汪学明;翁立晨;;基于ATL逻辑的公平多方不可否认协议的分析与改进[J];信息安全与技术;2011年09期
中国重要会议论文全文数据库 前1条
1 王远敏;汪学明;;一种改进的含离线可信第三方多方不可否认协议[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
中国博士学位论文全文数据库 前1条
1 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
中国硕士学位论文全文数据库 前4条
1 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年
2 孙久鸿;安全电子交易SET协议的研究[D];大连交通大学;2007年
3 王远敏;基于SVO逻辑的多方不可否认协议的形式化分析与研究[D];贵州大学;2009年
4 张振德;基于SET协议的电子商务公平非否认性的研究[D];中南大学;2010年
【参考文献】
中国期刊全文数据库 前1条
1 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期
中国博士学位论文全文数据库 前1条
1 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
【共引文献】
中国期刊全文数据库 前10条
1 王远敏;;无可信第三方的多方不可否认协议的改进[J];产业与科技论坛;2010年05期
2 刘慧芳;;基于串空间模型的Andrew安全RPC协议分析[J];电脑编程技巧与维护;2012年04期
3 曹进;;计算机协议安全漏洞及其防护[J];电脑知识与技术;2006年26期
4 杨邓奇;;基于ECDSA多播数据源认证协议设计及其BAN逻辑分析[J];电脑知识与技术(学术交流);2007年13期
5 胡声洲;罗南;卢震辉;;安全协议重放攻击的关联性分析[J];电脑知识与技术(学术交流);2007年20期
6 张红伟;夏阳;;基于Web服务的扩展SSL协议的研究与应用[J];电脑知识与技术;2009年13期
7 李昕;;对Diffie-Hellman协议的一种改进[J];计算机安全;2007年12期
8 展永刚;杨世平;;串空间模型对RPC协议机密性的验证[J];计算机安全;2009年03期
9 贺文华;;网络隔离器的设计与实现[J];电子商务;2009年04期
10 王威;胡铭曾;张兆心;;基于串空间理论的Kerberos协议安全性分析[J];高技术通讯;2008年09期
中国重要会议论文全文数据库 前5条
1 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
2 徐天岭;王景中;袁开国;杨义先;;基于USB-KEY的P2P保密通信研究与实现[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
3 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
4 王远敏;汪学明;;一种改进的含离线可信第三方多方不可否认协议[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
5 贺琦;鲁昌华;侯锋平;;基于指纹识别与数字签名的身份认证系统设计[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
4 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
5 刘益和;应用区域边界安全体系结构的模型研究[D];四川大学;2005年
6 肖迪;混沌理论在数字产品安全中的应用研究[D];重庆大学;2005年
7 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
8 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
9 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
10 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 张小龙;安全协议形式化描述语言的设计与解析[D];解放军信息工程大学;2009年
3 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
4 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
5 赵君;基于博弈论的理性交换协议形式化研究[D];杭州电子科技大学;2011年
6 秦晓君;盲签名设计及其在电子商务中的应用[D];长安大学;2011年
7 魏云飞;基于OpenSSL的SSL协议设计与改进[D];云南大学;2011年
8 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
9 刘惠临;基于高校网络环境的公钥安全基础设施研究与设计[D];安徽理工大学;2010年
10 查俊;安全多方计算在密钥协商中的应用研究[D];解放军信息工程大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 童光才;;SET协议中持卡人与商家纠纷问题的解决方法[J];重庆工学院学报(自然科学版);2009年05期
2 杨兴凯;基于SET的电子商务安全技术研究[J];电脑学习;2005年06期
3 蒋志雄,洪帆;一种改进的安全电子交易协议[J];计算机安全;2004年03期
4 崔国华 ,曾致中;更安全的数字签名装置[J];计算机安全;2005年05期
5 周虹;孙明惠;;SFNB的网络银行之路[J];大众理财顾问;2004年09期
6 刘璟,周明天;一个公平不可抵赖协议及其形式化分析[J];电子学报;2003年09期
7 王彩芬,贾爱库,刘军龙,于成尊;基于签密的多方认证邮件协议[J];电子学报;2005年11期
8 韩志耕;罗军舟;;多方不可否认协议时限性分析与改进[J];电子学报;2009年02期
9 邓所云,隋爱芬,胡正名,杨义先;一个优化的公平的多方不可否认协议[J];电子与信息学报;2002年12期
10 李艳平,张建中;一种新型的多方公平交换协议[J];电子与信息学报;2004年08期
中国博士学位论文全文数据库 前5条
1 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
2 张鹏;关于多方安全协议的研究[D];浙江大学;2006年
3 彭长根;面向群体的数字签名、签密和签约的研究[D];贵州大学;2007年
4 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
5 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
中国硕士学位论文全文数据库 前2条
1 杜红珍;不可否认协议及其逻辑验证[D];陕西师范大学;2006年
2 张曼君;电子支付协议及其公平非否认性研究[D];西安电子科技大学;2006年
【二级引证文献】
中国博士学位论文全文数据库 前2条
1 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
2 李海涛;AKA协议分析建模与防御策略研究[D];北京邮电大学;2010年
中国硕士学位论文全文数据库 前2条
1 王国滨;基于混沌理论与密码的图像认证模型研究[D];广西民族大学;2011年
2 王远敏;基于SVO逻辑的多方不可否认协议的形式化分析与研究[D];贵州大学;2009年
【相似文献】
中国期刊全文数据库 前10条
1 高悦翔;彭代渊;;一种挂号电子邮件协议的设计及其形式化分析[J];计算机应用;2008年08期
2 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
3 李云峰;何大可;;对一个公平文件交换协议的博弈分析与改进[J];计算机工程与应用;2006年11期
4 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
5 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期
6 张梅;文静华;张焕国;;基于ATL方法的电子商务协议FONRP分析[J];计算机工程;2008年03期
7 范钰丹;韩继红;王亚弟;赵宇;朱玉娜;;基于一阶逻辑的非否认协议模型[J];计算机应用;2007年09期
8 丁洁;胡晶;王锁萍;;对一种电子支付协议的改进[J];南京邮电学院学报;2005年04期
9 丁洁;王鑫;;对基于公钥密码体制的IBS协议的改进[J];信息技术;2007年05期
10 余昭平,张岚;改进的Kailar逻辑在协议分析中的应用[J];计算机工程与应用;2005年32期
中国重要会议论文全文数据库 前10条
1 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
2 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
3 林颖;许力;林晖;;分簇无线传感器网络中最小退避窗口自适应机制[A];2009年通信理论与信号处理学术年会论文集[C];2009年
4 张志鹏;徐肖豪;;优化公平性的地面等待模型[A];系统工程与和谐管理——第十届全国青年系统科学与管理科学学术会议论文集[C];2009年
5 杜照丰;于忠诚;段军义;;一种基于模糊控制的主动队列管理算法[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(下册)[C];2007年
6 陈雯;王远飞;;城市公园区位分配公平性评价研究——以上海市外环线以内区域为例[A];中国地理学会2007年学术年会论文摘要集[C];2007年
7 胡艳军;李李;;一种基于比例公平性的次优化功率分配算法[A];第十四届全国信号处理学术年会(CCSP-2009)论文集[C];2009年
8 沈德立;白学军;杨海波;;员工招聘公平性的有意遗忘研究[A];第十届全国心理学学术大会论文摘要集[C];2005年
9 刘威;赵尔敦;;无线网络中基于信道状态的改进PF调度算法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
10 林玉清;;认知无线电中一种新的信道与功率联合分配算法[A];2009年全国无线电应用与管理学术会议论文集[C];2009年
中国重要报纸全文数据库 前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];贵州大学;2008年
2 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
3 徐建;TCP/IP的公平性研究[D];浙江大学;2004年
4 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
5 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
6 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
7 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
8 钟伯成;IP网络拥塞控制的若干问题研究[D];合肥工业大学;2006年
9 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
10 申跃;基于满意度的顾客抱怨模型研究[D];清华大学;2005年
中国硕士学位论文全文数据库 前10条
1 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
2 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
3 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
4 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
5 杨杰;非否认协议的UC可靠的形式化验证[D];上海交通大学;2009年
6 乐小兵;基于公平性的我国卫生资源配置的实证分析[D];南昌大学;2007年
7 崔燕改;新型农村合作医疗模式研究[D];南京农业大学;2007年
8 伊洪丽;沈阳市医疗保险改革公平性评价及对策研究[D];东北大学;2005年
9 赵娟;基于公平性的MPLS拥塞控制策略的研究[D];东北大学;2005年
10 王晓梅;绩效管理过程公平性对组织公民行为影响的研究[D];浙江大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026