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

基于串空间模型的安全协议自动化验证方法研究

刘燕玲  
【摘要】:随着网络技术和信息技术的迅速发展,计算机网络在诸多领域内的应用日益普及,然而由于其运行环境具有开放性,使得计算机网络在给人们带来巨大便利的同时,也产生一系列的安全问题,因此如何确保网络中信息的安全性成为亟待解决的问题。安全协议又称密码协议,是以密码学技术为基础,在不安全的公共网络和分布式系统中提供各种安全服务的一种通信协议。由于安全协议的安全性是评价网络好坏的一个重要指标,所以在安全协议投入使用之前,对其安全性分析就显得尤为重要。至今,安全协议的形式化分析和自动化检测己成为分析和研究安全协议领域的两个重要方向,而研制可靠实用的安全协议自动化分析工具也逐渐成为主流趋势。 本文以串空间理论为基础,通过对当前存在的一些安全协议形式化方法和自动化技术进行比较分析,深入地研究了安全协议的自动化分析方法。主要内容包括: 1)深入研究了安全协议的安全性质,针对当前运用比较广泛的形式化分析方法——串空间模型,通过研究构造方法,重点介绍了NSL协议的分析过程;同时,以SSM协议为例,探讨了如何使用认证测试验证协议的过程及设计原理。 2)给出了一种基于串空间模型的安全协议自动化验证方法。在该方法中,针对参与方不检测某些消息的来源,只是将其作为消息的子项参与协议的运行的问题,通过构造和合法串结构相同的攻击者串的方式,给出了一种自动化验证方法;它不仅能够分析具有加密类型的攻击缺陷的协议,还将可信方引入到协议的参与方,使之能够分析具有重放类型攻击缺陷的协议,整个过程无需人工干预,直观和高效。在文章的最后借助两个实例,详细说明了该系统的验证过程,结果表明系统具有良好的性能。
【学位授予单位】:郑州大学
【学位级别】:硕士
【学位授予年份】:2011
【分类号】:TP393.08

【相似文献】
中国期刊全文数据库 前10条
1 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
2 熊宛星;薛开平;洪佩琳;麻常莎;;基于二维区间Hash链的RFID安全协议[J];中国科学技术大学学报;2011年07期
3 胡千;景凤宣;谢晓尧;;基于CA的移动终端安全支付系统的研究与设计[J];贵州师范大学学报(自然科学版);2011年03期
4 张慧;赵有健;;安全协议中防御拒绝服务攻击的请求成功率保证算法[J];小型微型计算机系统;2011年06期
5 周倜;李梦君;李舟军;;安全协议逻辑程序不停机性快速预测的动态方法[J];计算机学报;2011年07期
6 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
7 顾翔;张臻;邱建林;;无线安全协议设计方法研究[J];计算机科学;2011年09期
8 李志全;王猛;苑苗苗;;基于Hash函数的RFID安全认证协议研究[J];电脑开发与应用;2011年07期
9 董学文;马建峰;牛文生;毛立强;谢辉;;基于串空间的Ad Hoc安全路由协议攻击分析模型[J];软件学报;2011年07期
10 陈冠胜;;移动办公安全技术分析及比较[J];中国电力企业管理;2009年30期
中国重要会议论文全文数据库 前10条
1 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
3 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
4 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
5 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
6 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
7 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
10 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
中国重要报纸全文数据库 前10条
1 潘家永;春游的“安全协议”是否有效?[N];解放日报;2003年
2 潘家永;这种春游“安全协议”是否有效[N];民主与法制时报;2004年
3 潘家永;春游“安全协议”无效[N];经济参考报;2004年
4 曾铭;3-D安全协议 创造“三赢”电子交易[N];中国电子报;2004年
5 王乐民;中美签署药械安全协议[N];健康报;2007年
6 记者 舒玮;“安全协议”是学校的“挡箭牌”吗?[N];雅安日报;2008年
7 ;春游“安全协议”合法吗[N];中国妇女报;2003年
8 葛怀宇;美伊安全协议难产[N];工人日报;2008年
9 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
10 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
中国博士学位论文全文数据库 前10条
1 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
2 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
3 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
4 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
5 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
6 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
7 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
8 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
9 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
10 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
2 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
3 李轶谞;基于串空间的安全协议形式化分析建模和研究[D];南京邮电大学;2012年
4 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
5 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
6 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
7 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
8 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
9 张孝红;基于形式化方法的安全协议自动化验证算法的研究[D];湖南大学;2010年
10 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026