802.11i的认证安全性分析

IEEE设计802.11i协议解决无线局域网的安全问题。802.11i协议的形式化分析,对于确保该协议的正确性至关重要。利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性。结果表明,802.11i协议能够安全实现它的认证功能。