• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2006, Vol. 28 ›› Issue (1): 7-8.

• 论文 • 上一篇    下一篇

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

陈卓[1,2] 洪帆[1]   

  • 出版日期:2006-01-01 发布日期:2010-05-20

  • Online:2006-01-01 Published:2010-05-20

摘要:

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

关键词: 无线局域网 802.11 身份认证 WKE BAN

Abstract:

The security of identity authentication and key negotiation is the important foundation of network and distributed systems. In order to solve this problem in WLAN,this paper presents a new authentication mechanism called Wireless Key Exchange,which is used for WLAN. The BAN logic is used to formalize   and prove WKE at the same time.

Key words: wireless local area network;802. 11;authentication, WKE;BAN