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

摘要：

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

关键词：IEEE 802.11i协议、Kerberos协议、形式化方法、串空间模型

所属期刊栏目：5

分类号：TP393(计算技术、计算机技术)

在线出版日期：2010-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：182-186