收藏本站
《2009年研究生学术交流会通信与信息技术论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

Otway-Rees认证协议的分析与改进

仇细平  缪祥华  杨晓婕  
【摘要】:安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者。本文指出了Otway-Rees认证协议的一些缺陷,并对其作了相应的改进。用SVO逻辑来分析了改进的Otway-Rees认证协议,发现改进的协议能达到预期的安全目标。

【参考文献】
中国期刊全文数据库 前1条
1 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【共引文献】
中国期刊全文数据库 前10条
1 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
2 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
3 石曙东,李芝棠;一种安全协议的逻辑分析与改进[J];华中科技大学学报(自然科学版);2004年07期
4 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
5 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
6 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
7 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期
8 卿斯汉;认证协议两种形式化分析方法的比较[J];软件学报;2003年12期
9 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
10 石曙东,李之棠;Kailar逻辑的缺陷及改进[J];计算机工程与设计;2004年06期
中国博士学位论文全文数据库 前10条
1 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
2 李春艳;分级防火墙系统中动态访问控制技术研究[D];哈尔滨工程大学;2004年
3 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
4 侯方勇;存储系统数据机密性与完整性保护的关键技术研究[D];国防科学技术大学;2005年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 李清玉;普及计算环境中安全技术的研究[D];中国科学院研究生院(计算技术研究所);2004年
7 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
8 蒋军;异构无线网络互联的认证和密钥协商研究[D];上海交通大学;2006年
9 田海博;会话密钥建立关键技术研究[D];西安电子科技大学;2006年
10 李兴华;无线网络中认证及密钥协商协议的研究[D];西安电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 陈江;计算机安全审计技术研究[D];广东工业大学;2005年
2 彭诗力;网络入侵检测系统的研究与设计[D];中南大学;2005年
3 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
4 裘旭光;外贸企业信息系统研究与探讨[D];天津工业大学;2004年
5 张丰翼;无线局域网安全机制研究[D];西安电子科技大学;2004年
6 孙澄昊;嵌入式Internet的安全性研究[D];上海师范大学;2004年
7 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年
8 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
9 何成伟;电子邮件系统中安全认证技术的研究与实现[D];大连海事大学;2004年
10 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年
【同被引文献】
中国博士学位论文全文数据库 前2条
1 李清玉;普及计算环境中安全技术的研究[D];中国科学院研究生院(计算技术研究所);2004年
2 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 周璇;汪学明;;移动微支付协议Payword的改进与形式化分析[J];计算机工程与设计;2011年08期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前1条
1 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
中国博士学位论文全文数据库 前4条
1 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
2 王茜;基于e-Cash的电子商务交易协议研究[D];大连理工大学;2003年
3 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
中国硕士学位论文全文数据库 前10条
1 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年
2 吴燕萍;身份认证与共享保密通信协议的研究与实现[D];合肥工业大学;2005年
3 丛士佺;网络化制造平台的两种认证协议及安全性分析[D];吉林大学;2006年
4 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
5 刘晓静;保密以太网卡密钥协商协议的研究[D];解放军信息工程大学;2006年
6 张蕾;移动IP环境中一种双向认证的密钥协商协议研究[D];解放军信息工程大学;2007年
7 章春宇;IKE/IKEv2的安全性分析及实现[D];河海大学;2007年
8 陈明;认证协议及其形式化分析研究[D];重庆大学;2007年
9 王洁;公平不可否认协议设计及其形式化分析[D];重庆大学;2008年
10 荣昆;认证逻辑系统的可靠性研究[D];解放军信息工程大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026