作者：周世健 蒋睿 杨晓辉安全协议dos攻击形式化方法串空间
摘要：针对形式化方法对安全协议DoS攻击分析的不足之处，提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法，对IEEE802．11i四步握手协议进行了DoS攻击分析，发现其的确存在DoS攻击漏洞。通过分析，提出一种可以改善DoS攻击的方法，并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后，根据扩展形式化方法对改进后的四步握手协议进行证明，得出改进后协议可以通过两类DoS测试规则运行至结束。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《中国电子科学研究院学报》（CN：11-5401/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国电子科学研究院学报》主要发表电子信息系统研发和综合集成领域内的技术和学术研究论文。聘请行业内工程院院士等资深专家以及近年来在此领域内卓有成就的中年专家组成编委会。办刊宗旨：注重研究成果，提高理论水平。
杂志详情
