wlan安全协议测试技术研究及系统实现

《wlan安全协议测试技术研究及系统实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学学位论文独创性（或创新性）声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切相关责任。本人签名：日期：西安电子科技大学关于论文使用授权的

2、说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。本人签名：日期：导师签名：日期：摘要摘要由于目前协议的设计越来越复杂以及网络安全问题日益严重，协议测试技术已经成为协议实现过程中的一个必需且十分重要的手段。对WLAN安

3、全协议进行测试的重点在于一致性和安全性，因此本文对协议一致性测试和安全性测试进行了研究。在一致性测试方面，本文研究了主动测试，首先设计了主动测试方案：利用有限状态机模型对待测安全协议进行形式化描述，之后根据待测协议的特点设计相应的测试场景，并利用改进的T方法设计好测试序列。接着提出了一种可扩展的WLAN安全协议主动测试系统框架，并在此基础上实现了主动测试系统，该系统采用前台显示与后台测试例之间相互分离的思想，具有可扩展性以及可重用性的优点。最后实际测试了一种新的WLAN安全接入认证协议，并给出了相应的测试结

4、果。在安全性测试方面，本文通过研究现有的安全性测试方法，将安全性测试分为健壮性测试和协议攻击测试两个方面，并针对上述两方面选取了三种有代表性的原子攻击测试方案：扰动攻击、重放攻击和伪造AP攻击测试。接着基于主动测试系统框架设计并实现了安全性测试系统，该测试系统具有易用性和可扩展性的优点，测试者可通过自行添加测试例的方式来构造新的攻击测试方案。最后本文开发了所选取的原子攻击的测试例，并利用该安全性测试系统对一种新的安全接入认证协议进行了测试。关键词：WLAN安全协议一致性测试主动测试安全性测试Abstract

5、AbstractBecausetheprotocoldesignisincreasinglycomplexandtheproblemsofnetworksecuritybecomemoreandmoreseriouscurrently,theprotocoltestingtechnologyhasbecomeanecessaryandveryimportantpartintheprocessofprotocolimplementation.TheemphasesontestingtheWLANsecurit

6、yprotocolsareconformanceandsecurity.Therefore,thispaperdoesresearchinconformancetestingandsecuritytesting.Ontheconformancetestingpart,thispaperdoesresearchinactivetestinganddesignstheplanoftheactivetestingfirstly:Thispaperusesthefinitestatemachinemodeltopr

7、ovideformaldescriptionforthesecurityprotocolundertest.Basedonthecharacteristicoftheprotocolundertest,thispaperdesignsthetestscenarios,andusesanimprovedTalgorithmtogeneratethetestsequence.Thenthispaperproposesascalablearchitectureofconformanceactivetestingf

8、orWLANsecurityprotocol,andanactivetestingsystemisimplementedonthebasisofthisarchitecture.Thissystemadoptsthethoughtsforseparatingforegrounddisplayfrombackgroundtestcases,whichhasadvantagesofscalabilityandreus