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

关键词：无线局域网 身份认证 wke ban 

单位：华中科技大学计算机科学与技术学院; 湖北武汉430074; 湖北工业大学信息工程学院; 湖北武汉430068