安全协议DoS攻击的形式化分析方法研究

• 作者: 周世健 杨晓辉 蒋睿
• 来源期刊: 中国电子科学研究院学报
• 学科: 工学
• 关键词: 安全协议 IEEE802.11i DoS攻击 形式化方法 串空间
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: "信息和网络安全"专题
• 页码范围: 592-598
• 页数: 7页
• 分类号: TP309
• 字数: 6780字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5692.2008.06.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晓辉	东南大学信息科学与工程学院	28	153	7.0	11.0
2	蒋睿	东南大学信息科学与工程学院	12	56	5.0	7.0