收藏本站
《郑州大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于串空间模型的安全协议分析与验证方法的研究

毋晓英  
【摘要】: 安全协议是网络安全的保障,网络中实体间通信的实现都是经过安全协议来协助完成的,然而由于网络处在复杂的环境之中以及安全协议本身所具有的缺陷,使得攻击者能够借助这些缺陷来对协议进行各种各样的攻击,从而达到对网络安全进行破坏的目的,所以,在网络安全中对安全协议进行正确的分析发挥着极其重要的作用。 形式化分析方法是分析安全协议一种最重要的方法,认证测试方法的提出和Athena自动化方法的提出是串空间模型发展过程中两个最大的成就,本文在对安全协议分析和验证方法进行深入研究的基础上,所做的主要工作和创新点主要体现在以下几个方面: 第一,在对协议分析方法进行充分理解的基础上,深入研究和探讨了串空间模型分析协议的特点,并能够用此种形式化的分析方法对安全协议进行分析和验证; 第二,掌握了认证测试方法分析协议的特点,并针对该方法在分析协议时存在的缺陷,对原有的认证测试方法进行了改进,扩大了其分析范围。并用改进后的方法对TLS协议进行了分析,分析结果表明改进后的认证测试方法的可行性; 第三,提出了一种新的安全协议自动化分析方法,给出了相应的模型设计,并提出了实现该模型所需的一系列算法,介绍了其分析协议的基本过程和特点; 第四,通过实验实现了本文所提出的模型的基本功能,并用所提出的模型对改进前后的Helsinki协议进行了分析验证,实验结果表明所提出的协议分析方法的正确性和高效性; 安全协议的自动化分析方法是形式化分析领域里一个前沿的方向,本文所提出的安全协议自动化分析方法能有效克服手工分析存在的冗长理论推导和证明的缺陷,使协议的分析更加简洁和直观,从而提高了安全协议分析的效率。
【学位授予单位】:郑州大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP393.08

【相似文献】
中国期刊全文数据库 前10条
1 龙士工;;基于带标记串空间模型的安全协议分析[J];微计算机信息;2010年06期
2 李谢华;李建华;杨树堂;诸鸿文;;认证测试方法在安全协议分析中的应用[J];计算机工程;2006年02期
3 陈建熊;孙乐昌;揭摄;;一种安全协议分析算法研究[J];微计算机信息;2009年12期
4 石昊苏,薛锐,冯登国;AVSP算法[J];计算机工程与设计;2005年04期
5 沈海峰,薛锐,黄河燕,陈肇雄;串空间理论扩展[J];软件学报;2005年10期
6 缪祥华;何大可;;分析和设计安全协议的新逻辑的语义[J];云南民族大学学报(自然科学版);2006年02期
7 周雅洁;关焕梅;陈萍;张晶伟;;安全协议的自动化设计[J];计算机工程;2007年20期
8 荣昆;李益发;;基于串空间的KryptoKnight协议分析及与逻辑化方法的比较[J];微计算机信息;2005年26期
9 缪祥华;何大可;;认证协议设计逻辑的语义[J];计算机工程;2006年09期
10 周清雷;王峰;赵东明;;NSSK协议的串空间模型及分析[J];微计算机信息;2007年21期
中国重要会议论文全文数据库 前3条
1 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
2 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
3 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国重要报纸全文数据库 前1条
1 张旭;怀进鹏:守护国家系统安全[N];中国工业报;2010年
中国博士学位论文全文数据库 前10条
1 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
2 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
3 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
4 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
7 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
8 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
9 陈波;基于信息流分析的安全系统验证[D];中国科学技术大学;2007年
10 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 王峰;基于串空间理论的安全协议分析[D];郑州大学;2007年
3 赵钦;安全协议分析[D];合肥工业大学;2008年
4 滕玲莹;串空间方法分析安全协议[D];电子科技大学;2006年
5 李忠慧;可视化与形式化相结合的安全协议分析与验证[D];重庆师范大学;2010年
6 廖振岚;基于串空间模型的协议分析方法研究[D];重庆大学;2008年
7 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
8 孙守卿;基于模型检测工具SPIN的安全协议分析和验证[D];兰州大学;2006年
9 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
10 胡磊;安全协议形式化分析方法的融合性研究[D];南昌大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026