章志燮
- 作品数：5 被引量：4H指数：1
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 面向变异分析的协议安全测试方法被引量：2
- 2009年
- 在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.
- 章志燮周颢赵保华
- 基于构造类别代数的协议安全测试研究
- 随着通信协议的日益复杂，以及针对协议漏洞的攻击手段和技术的不断发展，因协议出错而引起的网络异常甚至崩溃现象层出不穷，危害了整个网络的信息安全。协议测试是协议工程的重要组成部分，是保证协议正常运行的关键技术。传统协议测试方...
- 章志燮
- 关键词：通信协议
- 文献传递
- 基于TCL的PIM-SM协议一致性测试系统设计被引量：1
- 2009年
- 针对PIM-SM组播协议,提出了一种协议一致性测试系统的设计方法.其核心思想是通过创建虚拟测试体,用简单的PC机模拟复杂的网络环境和协议行为,并针对协议测试过程中同时要求报文高效处理和网络场景频繁修改的问题,进行了系统层次的划分,实现了模拟配置灵活性和运行效率的统一,具有良好的扩展性.基于该方法实现的系统,成功地对多个不同的PIM-SM组播协议实现进行了一致性测试.
- 章志燮周颢胡甜赵保华
- 关键词：TCL语言
- 基于协议测试的对无线网络中的节点进行监测的方法和装置
- 本发明实施例提供了一种基于协议测试的对无线网络中的节点进行监测的方法和装置。该方法主要包括：无线网络中的主控节点接收各个监测代理发送的其监测到的某个节点的接收信号强度指示；所述主控节点根据所述接收信号强度指示给所述某个节...
- 赵宝华刘振华周颢章志燮李培龙
- 文献传递
- 对无线网络进行安全检测的方法和装置
- 本发明实施例提供了一种对无线网络进行安全检测的方法和装置。该方法主要包括：设置用于安全检测的主动攻击脚本，根据所述主动攻击脚本生成测试报文，将所述测试报文发送到无线网络中。接收无线网络中的测试终端对所述测试报文进行处理后...
- 赵宝华刘振华周颢章志燮李培龙
- 文献传递
