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

《基于无线网络安全协议验证方法的研究》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、独创性声明木人声明所呈交的学位论文是木人在导师指导下进行的研究工作和取得的研究成果，除了文中特别加以标注和致谢之处外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含获得工州交通大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对木研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。学位论文作者签名:签字日期：年刀日学位论文版权使用授权书本学位论文作者完全了解兰州交通大学有关保留、使用学位论文的规定。特授权兰州交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校

2、向国家有关部门或机构送交论文的复印件和磁盘。（保密的学位论文在解密后适用本授权说明）学位论文作者签名：签字日期：年月日导师签名:签字日期：年月日摘要进入新世纪以来，网络技术的发展日益迅速，并且随着制造业的发展，工厂对无线电子类产品的制作工艺不断改进，因此制造成本也在不断降低，与此同

3、］寸，无线网络技术得到了更加广泛的应用。与有线网络相比，无线网络没有庞大臃肿的网络连线，能够更加方便地被不同地域的人们使用。如此便捷的无线网络，其在使用时会给人们带来安全性等问题，因此，如何对其安全性进行改进，对人们的网络隐私加以保护，是社会及科学界关注的焦点之一。由于无线网络的开放

4、性特点，其缺少了物理条件下的保护，通过无线介质传播等特点，其在为用户带來便捷的同时，也带來了被窃听和被监视等威胁。不断提升无线网络的安全性，对于保护人们的信息安全和资金安全具有非常重要的现实意义。本文通过对无线网络安全性的研究，为无线通信网络提供一些较为现实有用的理论参考，以保障人们在使用便捷的无线网络的同时，能够更好地保护自身信息的安全性。本文首先对无线网络的发展现状及无线网络的安全性需求进行了相应的介绍，并指岀了在无线网络中存在的攻击和威胁，提出采用形式化对其安全协议进行验证的方法。其次，本文对无线网络安全协议进行验证的通信顺序进程（CSP）方法理论进行了详

5、细地阐述，并介绍了CSP语言中常用的语义和语法。另外，本文提出对无线网络中加入安全套接字层协议（SSL）,并对该协议进行形式化验证并进行改进，使得无线通信网络的安全性大大提高和完善，使其能抵御网络攻击。最后，本文对无线网络中的一个典型协议ASK协议进行形式化建模与验证，根据FDR验证工具得到的结果表明原有的ASK协议存在安全性漏洞。本文对ASK协议进行相应的改进，结果表明，改进后的安全协议能够满足无线网络安全通信的需求。关键词：无线网络；安全协议；通信顺序进程（CSP）；形式化验证论文类型：应用研究AbstractSinceenteringthenewcentu

6、ry,thedevelopmentofmanufacturingindustry,electronicproductshasbeensoquick,andproductioncosthasbeenreducedsodramaticallythatthewirelessnetworktechnologyhasbeenmorewidelyused.Numerouswirelesselectronicproductsappearinfrontofpeople.Comparedwithwirednetworks,wirelessnetworkdocsnothaveblo

7、atednetworkconnection,andcanbeusedeasilybypeopleanytimeandanywhere・Atthesametime,theconvenientwirelessnetworkwillbringalotofsecurityproblems.Howtoimprovethenetworksecurityandprotecttheprivacyofpeopleishottopicinpublic.Duetotheopenness,lackofphysicalprotectionandtransferringthesignals

8、throughoutthewirelessmedia,thewirelessnetworkbringtheadvantagesfortheuserswhilecausingproblemsofbeingmonitored.Promotingthesecuritylevelofwirelessnetworkisveryimportantforprotectingpeopledinformationsecurityandcapitalsafety.Inthethesis,thesomeofusefulreferencemodelsareprovidedthrough

9、studyingtheb