基于状态的无线协议安全测试平台设计
提出了一种基于状态的无线协议安全测试平台以测试协议的安全性。在无线协议安全测试平台中基于状态的生成来分析该协议可能达到的所有状态空间，结合协议测试描述语言的定义生成测试序列，无线测试平台基于这些配置自动完成所有测试工作并能自动采集测试数据，得到测试结果。安全测试平台的实现基于独立分开的原则，即测试的控制管理与实现运行平台分开、测试过程的控制管理与测试结果的收集分析相分开，其技术方法结合了理论分析与实际测试的优点，基于该架构的安全测试平台能有效保证了协议测试的准确性，并且极大简化了测试工作的过程。
无线网络 测试平台 安全测试 测试描述语言 状态模型
国内会议
北京
中文
1-7
2012-05-31（万方平台首次上网日期，不代表论文的发表时间）