Abstract:IEEE 802.11i standard defines the security specifications of IEEE 802.11 series Wireless Local Area Network (WLAN). It is the replacement of the old security standard named Wired Equivalent Privacy (WEP), and it aims to eliminate all known attacks against WEP. It well defines the solutions to the confidentiality, mutual authentication and integrity aspects of the WLAN security except the availability aspect. Many researchers have shown that IEEE 802.11i standard cannot prevent various Denial of Service (DoS) attacks including de-authentication, disassociation and memory/CPU DoS attacks. Besides, IEEE 802.11i reserved the PSK mode of WEP for flexibility and backward compatibility. However, the PSK mode in IEEE 802.11i standard fails to provide sufficient security to prevent offline dictionary attacks and internal attacks . In this paper, we present our solutions which can effectively improve IEEE 802.11i. For memory/CPU DoS attack against 4-way Handshake protocol, we propose an alternative Enhanced 3-way Handshake protocol which can effectively prevent this attack and can save computation cost compared to the original one . For the vulnerability in PSK mode, we proposed a novel ECDH protocol to prevent the offline dictionary attacks and internal attacks. The formal proofs of above two proposed protocols are also provided using Protocol Composition Logic (PCL).

Practical Defense Against WEP and WPA-PSK Attack for WLAN

Analysis of WEP Security and Its Solution

Security Analysis and Improvement of WPA/WPA2-PSK

Security Mechanisms of Wired Equivalent Privacy and Wi-Fi Protected Access in WLAN:Review and Analysis

Security Analysis of WEP Algorithm Used in IEEE 802.11

Security Analysis and Improvements on WLANs.

Security Analysis of WPS in WLAN

The Security Analysis of WPA Encryption in Wireless Network

Survey on Security Scheme and Attacking Methods of WPA/WPA2

Implementation and Research of a New Security Scheme for WLAN

Weakness analysis and attack test for WLAN

Research on Security of WPA/WPA2 Protocol

The Security Analysis and Detection of 802. 1X Wireless Local Area Network

Algorithm of WEP Protocol and Analysis on WLAN's Security

Security analysis of newly ameliorated WAPI protocol

The Analysis and Solution for Security of WLAN

A Mutual Authentication and Privacy Mechanism for WLAN Security.

Research and Implementation of Enforced Access Point Design of WLAN

Security Analysis on Chinese Wireless LAN Standard and Its Solution

Attack Behavioural Analysis and Secure Access for Wireless Access Point (AP) in Open System Authentication

A NEW TWO-WAY AUTHENTICATION AND PRIVACY MECHANISM FOR WLAN SECURITY