Analysis of IEEE 802.11i WLAN Security Protocol

File Size Format
55049_1.pdf 140Kb Adobe PDF View
Title Analysis of IEEE 802.11i WLAN Security Protocol
Author Sithirasenan, Elankayer; Zafar, Saad Naeem; Muthukkumarasamy, Vallipuram
Journal Name ISAST Transactions on Computers and Software Engineering
Editor Jyrki Joutsensalo
Year Published 2008
Place of publication Finland
Publisher International Society for Advanced Science and Technology
Abstract As wireless LAN (WLAN) deployments increase, so does the challenge to provide these networks with adequate security. Business organizations, educational institutions and government co-operations are becoming more and more concerned about their e-security. The need for reliable and robust security mechanisms for WLANs is increasing. The latest WLAN security protocol IEEE 802.11i guarantees robust security with improved authentication, authorization and key distribution mechanisms. However, though the newest security protocol assures dependable communication sessions, the credibility of the three connection phases; security policy selection, authentication and key distribution needs further investigation. The loosely coupled state machines of the participating components can pave the way to security breaches. In this study we have investigated the integrity of these three phases. The analysis is carried out in two stages. Initially, the three phases are modeled using Genetic Software Engineering (GSE) methodology and then formally verified with Symbolic Analysis Laboratory (SAL) tools. We established several Linear Temporal Logic (LTL) formulas to model check our models. We have also examined and analyzed possible security threats due to various issues arising from software implementations and intruder behaviors.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.isastorganization.org/tcse.html
Copyright Statement Copyright 2008 ISAST. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Volume 2
Issue Number 1
Page from 13
Page to 25
ISSN 1797-1152
Date Accessioned 2009-03-31
Language en_US
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Information and Computing Sciences
URI http://hdl.handle.net/10072/23505
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice