基于状态的自动化无线协议安全测试平台设计  

DESIGN OF STATE-BASED AUTOMATIC SECURITY TEST PLATFORM FOR WIRELESS PROTOCOL

作　　者：李尧[1] 胡玲[1] 郝文[2] 

机构地区：[1]内江师范学院计算机科学学院,四川内江641100 [2]国家信息安全工程技术研究中心,北京100093

出　　处：《计算机应用与软件》2012年第11期168-171,200,共5页Computer Applications and Software

基　　金：四川省教育厅重点项目(11ZA030)

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

关 键 词：无线网络 测试平台 安全测试 测试描述语言 状态模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]