收藏本站
《上海交通大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

特殊环境下的协议安全研究

高长喆  
【摘要】: 随着Internet技术的发展,安全协议在电子商务和电子政务中的应用越来越多。与此相应的就是人们对协议的安全性更加关注,尤其是在特殊环境下如何建模和分析安全协议显得尤为重要。 本文首先研究和分析了现有的安全协议的建模和分析方法,找出其中的优势和不足。考虑环境的特殊性,选用符合标准的基于事件的GSPML语言对广义的挑战-应答协议和TLS握手协议的简化版本建立了可视化的模型。 在此基础上,本文对广义的挑战-应答协议的安全条件进行了分析,列出了在对称密码体制和非对称密码体制下挑战-应答协议需要满足的安全条件,以及不满足这些条件将会导致的攻击和与之相应的协议认证性的缺失。值得注意的是,在两种密码体制下挑战-应答协议在最小形式上是有所区别的。然后,作者对传统认为的三轮认证协议进行了分析,认为在有主动攻击者存在的情况下,单纯的认证协议无法完全保证认证的目的。 此外,本文对四种形式化方法的自动工具进行了分析,这些工具涵盖了形式化分析方法的三大流派。作者主要从用户界面和易用性,运行状态数和时间,数据独立性和离散时间支持,协议错误的发现能力这四个方面进行比较,并给出了综合能力的结论。
【学位授予单位】:上海交通大学
【学位级别】:硕士
【学位授予年份】:2007
【分类号】:TP393.08

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前1条
1 王恩俊;一种基于BAN类逻辑的安全协议分析方法及其自动化实现[D];浙江大学;2011年
【参考文献】
中国期刊全文数据库 前2条
1 容晓峰,周利华,钟联炯,高晓娟;军用应急通信网互连方式的研究与设计[J];计算机工程与应用;2002年06期
2 吴光伟;董荣胜;;基于串空间的Athena分析技术研究[J];计算机科学;2006年08期
【共引文献】
中国期刊全文数据库 前4条
1 李超;董荣胜;郭云川;;针对协议组合问题的Athena方法扩展[J];桂林电子科技大学学报;2007年04期
2 李超;董荣胜;;针对猜测攻击的Athena方法的扩展[J];计算机科学;2007年12期
3 张毓森;桂荆京;王金双;锁琰;杨莉;金鑫;;MANET虚假路由形式化验证[J];计算机科学;2012年02期
4 郑莹;;电力光载无线通信技术在电力接入网中的应用[J];金陵科技学院学报;2014年02期
中国博士学位论文全文数据库 前1条
1 陈钊;森林资源灾害应急机制及应急智能决策系统构架初步研究[D];北京林业大学;2003年
中国硕士学位论文全文数据库 前4条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
3 陈力琼;串空间模型的拓展和应用[D];上海交通大学;2008年
4 张孝红;基于形式化方法的安全协议自动化验证算法的研究[D];湖南大学;2010年
【同被引文献】
中国期刊全文数据库 前2条
1 程正杰;陈克非;来学嘉;;基于细粒度新鲜性的密码协议分析[J];北京大学学报(自然科学版);2010年05期
2 董玲;陈克非;来学嘉;;密码协议分析的信任多集方法[J];软件学报;2009年11期
【二级参考文献】
中国期刊全文数据库 前2条
1 容晓峰,周利华,钟联炯;网络接口控制器(NIC)的缓冲区管理技术研究[J];计算机工程与应用;2001年19期
2 王志平,熊光泽;一种基于以太网卡的实时网络的实现方法[J];计算机应用;1999年03期
【相似文献】
中国期刊全文数据库 前10条
1 田明,刘小东,肖美华;网络安全攻防探讨[J];计算机与现代化;2000年05期
2 高爱乃;;浅析Windows Server 2003安全策略[J];网络安全技术与应用;2006年10期
3 李红,罗进文;IPv6协议安全性探讨[J];甘肃科技;2000年03期
4 邵世祥,陈契,吴蒙;用NCP逻辑分析LMDS的PKM协议[J];通信学报;2004年09期
5 王娟;;IPv6网络安全机制分析[J];电脑知识与技术;2009年06期
6 谢扬;王金凤;;基于椭圆曲线的一种盲数字签名设计[J];重庆电子工程职业学院学报;2010年02期
7 ;协议[J];电子科技文摘;2006年02期
8 盛焕烨,王珏;网络安全攻防对策综述[J];上海交通大学学报;1997年08期
9 朱艳琴;TCP/IP协议的安全性研究[J];苏州大学学报(自然科学版);1999年02期
10 田畅;公开密钥协议的可鉴别性[J];计算机学报;1992年02期
中国重要会议论文全文数据库 前10条
1 刘衍斐;李晖;罗群;;基于分层模型的通信网安全问题分析与对策[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
2 顾亚强;吴波;赵晖;;基于口令认证的三方密钥交换协议改进方法[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
3 原伟利;贺丹丹;;网络安全之TCP/IP协议安全性研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
4 冯涛;马建峰;;Y-SPH-OT协议的安全性分析[A];2006年全国理论计算机科学学术年会论文集[C];2006年
5 张锋;常会友;;茫然第三方支持的隐私保持离群点探测协议[A];第二十四届中国数据库学术会议论文集(研究报告篇)[C];2007年
6 吴万烽;王汝传;黄海平;李玲娟;;基于可再生哈希链及二次示证方案的安全高效距离向量协议[A];江苏省电子学会2010年学术年会论文集[C];2010年
7 李晓光;谢新翔;;无线城域网IEEE802.16标准安全机制研究[A];江苏省通信学会2004年学术年会论文集[C];2004年
8 张建锋;蔡开裕;朱培栋;;基于前缀劫持的垃圾邮件攻击及其对策[A];中国通信学会第五届学术年会论文集[C];2008年
9 武晓华;王劲林;;一种基于公钥加密的移动通信认证协议[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
10 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
中国重要报纸全文数据库 前10条
1 文中国地质大学信息工程学院 唐雅薇 ;VoIP协议安全:无法忽略之痛[N];中国计算机报;2005年
2 陕西人民广播电台技术中心 郭宏波;翻越协议安全大山[N];通信产业报;2006年
3 王书琴;电力IP城域网的内部安全[N];网络世界;2005年
4 清华大学网络中心 陈晓峰;VoIP的四大“护法”[N];通信产业报;2006年
5 王书琴;内外兼修才安全[N];中国计算机报;2005年
6 高岚;清华比威从高端入手[N];中国计算机报;2001年
7 小佚;清华紫光三条路汇向新网络[N];中国计算机报;2000年
8 ;方御防火墙关注应用[N];网络世界;2004年
9 ;SPML简化信息交换[N];网络世界;2003年
10 师华伟;国家计委就网络专项发布公告[N];中国电子报;2000年
中国博士学位论文全文数据库 前10条
1 李海涛;AKA协议分析建模与防御策略研究[D];北京邮电大学;2010年
2 费晓飞;空间通信协议安全性研究[D];解放军信息工程大学;2008年
3 刘丹;量子通信协议与安全策略研究[D];西安电子科技大学;2011年
4 侯孟波;基于身份和无证书的两方认证密钥协商协议研究[D];山东大学;2010年
5 舒剑;认证密钥协商协议的设计与分析[D];电子科技大学;2010年
6 初剑峰;基于信任服务的IBE体系[D];吉林大学;2009年
7 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
8 张斌;高效安全的多方计算基础协议及应用研究[D];山东大学;2012年
9 倪亮;关于认证密钥协商协议若干问题的研究[D];上海交通大学;2012年
10 赵建杰;认证密钥协商协议的分析与设计[D];上海交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 汪见晗;RFID系统的距离边界协议研究[D];华中师范大学;2014年
2 元文浩;3-D Secure协议在电子商务中的应用研究[D];云南大学;2012年
3 曹永超;基于公钥密码体制的OT协议[D];山东大学;2010年
4 何珂依;基于Android系统的SIP协议研究与实现[D];湖南大学;2013年
5 马萌;基于云的协议识别模型与算法研究[D];北京邮电大学;2011年
6 闫虹;面向AKE协议的可证明安全性模型的研究[D];东北大学;2009年
7 陈科文;基于Android平台及SIP协议的软电话系统的研究[D];华南理工大学;2013年
8 陈赞锋;IPSec协议安全芯片的设计与实现[D];西北工业大学;2005年
9 薛青晗;基于虚拟化技术的设备驱动映射协议研究[D];南京邮电大学;2013年
10 冀云刚;传输层安全协议研究及应用[D];西安电子科技大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026