陈伟琳
- 作品数：6 被引量：7H指数：2
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划华为科技基金项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 分布式网络攻击测试系统中的代理选择算法
- 2008年
- 对网络设备的网络攻击测试有助于确定设备的稳定性和安全性,从而降低网络运行风险.首先改进了分布式网络攻击测试系统,该系统由一个主控结点和多个代理结点组成,能适应多种网络拓扑结构,能对Internet网络中的目标设备进行各种常规的网络攻击和分布式攻击测试,并支持新攻击套件开发.然后讨论了该系统在线模式下特有的代理选择问题,提出了一种合理的代理选择算法,有利于保证结点通信,分散测试流量.
- 陈伟琳周颢赵保华
- 协议安全测试理论和方法的研究
- 协议工程是一体化、形式化的协议开发过程，其研究内容包含协议的形式化描述，协议验证，协议实现和协议测试等。协议测试是协议工程中的一个重要内容。
当前的网络环境日趋复杂，各种安全威胁事件层出不穷。作为计算机网络基础...
- 陈伟琳
- 关键词：安全测试
- 利用构造类别代数的协议安全测试方法被引量：5
- 2008年
- 针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.
- 陈伟琳周颢赵保华
- STP协议攻击者放置问题研究被引量：2
- 2009年
- STP协议攻击者放置问题考虑的是,在一个给定物理拓扑结构的网络中,如何选择合适的交换设备来布置STP攻击者,以控制各交换设备的非终端端口的通断状态,从而动态改变逻辑网络拓扑结构.针对该问题先进行了有向图抽象,给出了受控边覆盖的判定定理,在此基础上提出了受控顶点选择算法,并结合具体实例对算法进行了讨论与分析.
- 周颢赵保华陈伟琳
- 关键词：生成树协议
- 面向测试的协议攻击描述模型
- 本文提出了一个面向测试的协议攻击描述模型,以及相应的协议攻击测试算法。该模型能完整清晰的描述测试中所需要的协议攻击信息,且具有良好的可扩展性。我们在实际工作中利用该模型对多种协议攻击进行了描述,同时应用相关算法进行网络设...
- 陈伟琳周颢赵保华
- 关键词：网络安全网络设备
- 文献传递
- 面向测试的协议攻击描述模型
- 本文提出了一个面向测试的协议攻击描述模型,以及相应的协议攻击测试算法。该模型能完整清晰的描述测试中所需要的协议攻击信息,且具有良好的可扩展性。我们在实际工作中利用该模型对多种协议攻击进行了描述,同时应用相关算法进行网络设...
- 陈伟琳周颢赵保华
- 关键词：网络安全
- 文献传递
