Formal Verification of the IEEE 802.11i WLAN Security Protocol

File Size Format
41359.pdf 243Kb Adobe PDF View
Title Formal Verification of the IEEE 802.11i WLAN Security Protocol
Author Sithirasenan, Elankayer; Zafar, Saad Naeem; Muthukkumarasamy, Vallipuram
Publication Title Proceedings of 2006 Australian Software Engineering Conference
Editor Jun Han, Mark Staples
Year Published 2006
Place of publication Piscataway, NJ, USA
Publisher IEEE Computer Society
Abstract 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 consistent.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1109/ASWEC.2006.29
Copyright Statement Copyright 2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
ISBN 0-7695-2551-2
Conference name 2006 Australian Software Engineering Conference
Location Sydney, Australia
Date From 2006-04-18
Date To 2006-04-21
URI http://hdl.handle.net/10072/11509
Date Accessioned 2007-03-15
Date Available 2011-04-28T07:06:26Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject PRE2009-Other Information, Computing and Communication Sciences
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Brief Record

Griffith University copyright notice