Sciweavers

ASWEC
2006
IEEE

Formal Verification of the IEEE 802.11i WLAN Security Protocol

13 years 9 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security protocol, the IEEE 802.11i assures rigid security for wireless networks with the support of IEEE 802.1X protocol for authentication, authorization and key distribution. In this study we investigate the integrity of the security model developed by us based on 802.11i Robust Security Mechanism (RSN), strengthening our desire towards establishing a secure wireless network environment. We have used the Symbolic Analysis Laboratory (SAL) tools to formally verify the Behavior Tree models. This paper presents the several Linear Temporal Logic (LTL) formulas established to prove the credibility of our model. We also discuss probable software issues that could arise during implementation. By examining all possible execution traces of the security protocol we have proved our implementation model to be complete and consis...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where ASWEC
Authors Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy
Comments (0)