【摘要】 针对无线网络协议中存在的安全隐患问题,提出一种基于状态的自动化无线协议安全测试平台以测试协议的安全性。在无线协议安全测试平台中基于状态的生成来分析该协议可能达到的所有状态空间,结合协议测试描述语言的定义生成测试序列,无线测试平台基于这些配置自动完成所有测试工作并能自动采集测试数据,得到测试结果。安全测试平台的实现基于独立分开的原则,即测试的控制管理与实现运行平台分开、测试过程的控制管理与测试结果的收集分析相分开,其技术方法结合了理论分析与实际测试的优点,基于该架构的安全测试平台能有效保证了协议测试的准确性,并且极大简化了测试工作的过程。更多还原

【Abstract】 A state-based automatic security test platform for wireless protocol is proposed to test the security of protocols in light of the safety pitfalls existing in wireless network protocol.In the wireless protocol security test platform,the state-based generation is applied in analysing all the state spaces the protocol could reach,and the test sequence is generated in combination with the definition of protocol test description language.The wireless test platform automatically completes all of the tests based on these configurations and can automatically capture the test data,and derive the test results.The implementation of the test platform is based on the principle of independence and separation,i.e.the control and management of test is independent to the implementation of operation platform,and the control and management of testing process is separated from the collection and analysis of text results,their technical means combine the advantages of theoretical analysis and practical test together.The security test platform based on this architecture can effectively guarantee the accuracy of the protocol testing,and greatly simplify the testing process.更多还原