无线局域网认证协议及安全性证明

身份认证和密钥协商方案的安全性是网络和分布式系统安全的重要基础和前提。本文提出了一种适用于无线局域网的认证机制WKE,并采用BAN逻辑对之进行了安全性分析和证明。