IEEE 802.11i基于Kerberos架构认证的形式化分析

• 作者: 刘炜 周世健 张旭辉
• 来源期刊: 中国电子科学研究院学报
• 学科: 工学
• 关键词: IEEE 802.11i协议 Kerberos协议 形式化方法 串空间模型
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: "信息网络及对抗"专题
• 页码范围: 182-186
• 页数: 5页
• 分类号: TP393
• 字数: 4371字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5692.2010.02.014

摘要

形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一.利用串空间模型对IEEE 802.11i 的认证方式中基于Kerberos 架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论.最后也提出了形式化方法的不足之处和未来研究方向.