文献类型：期刊文章

作　　者：周世健[1,2] 蒋睿[1] 杨晓辉[1]

机构地区：[1]东南大学信息科学与工程学院,南京210096 [2]中国人民解放军73691部队,南京210014

出　　处：《中国电子科学研究院学报》

基　　金：江苏省自然科学基金(BK2006108)资助课题

年　　份：2008

卷　　号：3

期　　号：6

起止页码：592-598

语　　种：中文

收录情况：CSA、CSA-PROQEUST、IC、INSPEC、普通刊

摘　　要：针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802.11 i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的方法,并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后,根据扩展形式化方法对改进后的四步握手协议进行证明,得出改进后协议可以通过两类DoS测试规则运行至结束。

关 键 词：安全协议 IEEE802.11I DOS攻击 形式化方法 串空间

分 类 号：TP309]