基于无线网络安全协议验证方法的研究

发布时间：2017-12-12 00:30

  本文关键词：基于无线网络安全协议验证方法的研究

  更多相关文章： 无线网络 安全协议 通信顺序进程(CSP) 形式化验证

【摘要】：进入新世纪以来,网络技术的发展日益迅速,并且随着制造业的发展,工厂对无线电子类产品的制作工艺不断改进,因此制造成本也在不断降低,与此同时,无线网络技术得到了更加广泛的应用。与有线网络相比,无线网络没有庞大臃肿的网络连线,能够更加方便地被不同地域的人们使用。如此便捷的无线网络,其在使用时会给人们带来安全性等问题,因此,如何对其安全性进行改进,对人们的网络隐私加以保护,是社会及科学界关注的焦点之一。由于无线网络的开放性特点,其缺少了物理条件下的保护,通过无线介质传播等特点,其在为用户带来便捷的同时,也带来了被窃听和被监视等威胁。不断提升无线网络的安全性,对于保护人们的信息安全和资金安全具有非常重要的现实意义。本文通过对无线网络安全性的研究,为无线通信网络提供一些较为现实有用的理论参考,以保障人们在使用便捷的无线网络的同时,能够更好地保护自身信息的安全性。本文首先对无线网络的发展现状及无线网络的安全性需求进行了相应的介绍,并指出了在无线网络中存在的攻击和威胁,提出采用形式化对其安全协议进行验证的方法。其次,本文对无线网络安全协议进行验证的通信顺序进程(CSP)方法理论进行了详细地阐述,并介绍了CSP语言中常用的语义和语法。另外,本文提出对无线网络中加入安全套接字层协议(SSL),并对该协议进行形式化验证并进行改进,使得无线通信网络的安全性大大提高和完善,使其能抵御网络攻击。最后,本文对无线网络中的一个典型协议ASK协议进行形式化建模与验证,根据FDR验证工具得到的结果表明原有的ASK协议存在安全性漏洞。本文对ASK协议进行相应的改进,结果表明,改进后的安全协议能够满足无线网络安全通信的需求。
【学位授予单位】：兰州交通大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TN92

【相似文献】

中国期刊全文数据库 前10条

1 裴维玲;;谈谈无线网络安全[J];办公自动化;2004年01期

2 陈孝强;;“虚拟”加强无线网络安全[J];微电脑世界;2005年10期

3 赖庆;;无线网络安全对策和技术[J];科技资讯;2006年19期

4 郑志彬;刘利锋;;构筑自主可控的无线网络安全体系[J];信息网络安全;2007年07期

5 ;无线网络安全技术利弊剖析[J];计算机与网络;2008年02期

6 ;十大安全建议 助您保护无线网络安全[J];计算机与网络;2008年15期

7 林晓;;让网络畅通无阻,确保无线网络安全[J];网络与信息;2010年11期

8 ;无线网络安全设置五种不可不知的方法[J];计算机与网络;2010年06期

9 ;无线网络安全设置五种不可不知方法[J];计算机与网络;2010年19期

10 邝健全;;对无线网络安全的分析[J];电脑知识与技术;2011年17期

中国重要会议论文全文数据库 前4条

1 李晓琼;;无线网络安全理论与技术[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

2 王U，

本文编号：1280515