WLAN 安全协议测试技术研究与系统实现-计算机系统结构专业论文.docxVIP

西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说 明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切相关责任。 本人签名： 日期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保 留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内 容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后 结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。 本人签名： 日期： 导师签名： 日期： 摘要 摘要 摘要 由于目前协议的设计越来越复杂以及网络安全问题日益严重，协议测试技术 已经成为协议实现过程中的一个必需且十分重要的手段。对 WLAN 安全协议进行 测试的重点在于一致性和安全性，因此本文对协议一致性测试和安全性测试进行 了研究。 在一致性测试方面，本文研究了主动测试，首先设计了主动测试方案：利用 有限状态机模型对待测安全协议进行形式化描述，之后根据待测协议的特点设计 相应的测试场景，并利用改进的 T 方法设计好测试序列。接着提出了一种可扩展 的 WLAN 安全协议主动测试系统框架，并在此基础上实现了主动测试系统，该系 统采用前台显示与后台测试例之间相互分离的思想，具有可扩展性以及可重用性 的优点。最后实际测试了一种新的 WLAN 安全接入认证协议，并给出了相应的测 试结果。 在安全性测试方面，本文通过研究现有的安全性测试方法，将安全性测试分 为健壮性测试和协议攻击测试两个方面，并针对上述两方面选取了三种有代表性 的原子攻击测试方案：扰动攻击、重放攻击和伪造 AP 攻击测试。接着基于主动 测试系统框架设计并实现了安全性测试系统，该测试系统具有易用性和可扩展性 的优点，测试者可通过自行添加测试例的方式来构造新的攻击测试方案。最后本 文开发了所选取的原子攻击的测试例，并利用该安全性测试系统对一种新的安全 接入认证协议进行了测试。 关键词：WLAN 安全协议 一致性测试 主动测试 安全性测试 Abst Abstract Abstract Because the protocol design is increasingly complex and the problems of network security become more and more serious currently, the protocol testing technology has become a necessary and very important part in the process of protocol implementation. The emphases on testing the WLAN security protocols are conformance and security. Therefore, this paper does research in conformance testing and security testing. On the conformance testing part, this paper does research in active testing and designs the plan of the active testing firstly: This paper uses the finite state machine model to provide formal description for the security protocol under test. Based on the characteristic of the protocol under test, this paper designs the test scenarios, and uses an improved T algorithm to generate the test sequence. Then this paper proposes a scalable architecture of conformance active test