协议脆弱性分析及其测试研究

• 作者: 张炜 石万清
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 构造类别代数 脆弱性测试 分布式测试平台
• 年，卷（期）: 2008,（13）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 106-109
• 页数: 4页
• 分类号: TP311
• 字数: 5133字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.13.032

摘要

网络安全问题已引起人们的广泛关注,通信协议设计和实现的健壮与否对于网络安全至关重要.使用扩展了的构造类别代数描述协议规范,基于该描述,从一致性和完备性角度对协议可能存在的漏洞进行分析;系统地给出了一种针对潜在漏洞进行脆弱性测试的测试方法,使用类似于协议测试的方法测试实现系统能否抵御针对该漏洞的攻击.实现了一个分布式的协议脆弱性测试平台KD-TclRunner,对国内外著名厂商的通信设备进行脆弱性测试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张炜	中国科学技术大学计算机系	33	262	9.0	15.0
2	石万清	安徽大学电子科学与技术学院	1	1	1.0	1.0