基于扩展串空间模型对802.11i四步握手协议的分析
通过对串空间模型的扩展，提出了一种可以对安全协议DoS攻击进行分析的形式化分析方法。利用扩展后的串空间模型，对IEEE802．11i协议中的四步握手协议进行深入分析，发现其存在DoS攻击漏洞。根据存在DoS攻击漏洞的原因所在，提出了一种改进方法来克服减弱DoS攻击风险，并通过了扩展后的串空间模型对于判断安全协议DoS攻击分析的测试规则。最后，利用扩展后的串空间模型，对改进后的四步握手协议进行证明，得出改进后协议可以通过两类DoS测试规则运行至结束。
串空间 安全协议 形式化方法 DoS攻击
周世健 蒋睿 杨晓辉
东南大学信息科学与工程学院，南京，210096
国内会议
南京
中文
34-44
2009-05-30（万方平台首次上网日期，不代表论文的发表时间）