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

作     者：石万清 张炜 SHI Wan-qing;ZHANG Wei

作者机构：安徽大学电子科学与技术学院合肥230039 中国科学技术大学计算机系合肥230027 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2008年第44卷第13期

页      码：106-109页

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

主 题 词：构造类别代数 脆弱性测试 分布式测试平台 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.2008.13.032

馆 藏 号：203233275...