Formal Analysis of Authentication in 802.11i  

作　　者：董玲 陈克非 来学嘉 

机构地区：[1]Department of Computer Science & Engineering,Shanghai Jiaotong University,Shanghai 200240,China

出　　处：《Journal of Shanghai Jiaotong university(Science)》2009年第1期122-128,共7页上海交通大学学报（英文版）

基　　金：the National High Technology Research and Development Program(863)of China(No.2006AA01Z422);the National Natural Science Foundation of China(Nos.60573030,90704004)

摘　　要：Authentication is the basis of the security of IEEE 802.11i standard. The authentication process in 802.11i involves two important protocols： a 4-way handshake and a group key handshake. A formal analysis of authentication in 802.11i is given via a belief multisets formalism. The analysis shows that the 4-way handshake and the group key handshake may provide satisfactory mutual authentication, key management, and issue of a new group temporal key from an access point to a user device, under the guarantee of mutual possession of a confidential palrwise master key. The analysis also shows that there exists a denial of service attack in the 4-way handshake and some seeming redundancies are useful in the protocol implementation.Authentication is the basis of the security of IEEE 802.11i standard.The authentication process in 802.11i involves two important protocols:a 4-way handshake and a group key handshake.A formal analysis of authentication in 802.11i is given via a belief multisets formalism.The analysis shows that the 4-way handshake and the group key handshake may provide satisfactory mutual authentication,key management,and issue of a new group temporal key from an access point to a user device,under the guarantee of mutual possession of a confidential pairwise master key.The analysis also shows that there ex(?)sts a denial of service attack in the 4-way handshake and some seeming redundancies are useful in the protocol implementation.

关 键 词：IEEE 802.11i AUTHENTICATION protocol analysis 

分 类 号：TP393.1[自动化与计算机技术—计算机应用技术] TP393.08[自动化与计算机技术—计算机科学与技术]