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