loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Australian Software Engineering Conference (ASWEC'06)
Formal Verification of the IEEE 802.11i WLAN Security Protocol
Sydney, Australia
April 18-April 21
ISBN: 0-7695-2551-2
ASCII Text
x 
 
Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy, "Formal Verification of the IEEE 802.11i WLAN Security Protocol," Software Engineering Conference, Australian, pp. 181-190, Australian Software Engineering Conference (ASWEC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ASWEC.2006.29,
author = {Elankayer Sithirasenan and Saad Zafar and Vallipuram Muthukkumarasamy},
title = {Formal Verification of the IEEE 802.11i WLAN Security Protocol},
journal ={Software Engineering Conference, Australian},
volume = {0},
year = {2006},
issn = {1530-0803},
pages = {181-190},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.29},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Conference, Australian
TI - Formal Verification of the IEEE 802.11i WLAN Security Protocol
SN - 1530-0803
SP181
EP190
A1 - Elankayer Sithirasenan,
A1 - Saad Zafar,
A1 - Vallipuram Muthukkumarasamy,
PY - 2006
KW - null
VL - 0
JA - Software Engineering Conference, Australian
ER -
 
Elankayer Sithirasenan, Institute for Integrated and intelligent Systems, Griffith University, Queensland, Australia
Saad Zafar, Institute for Integrated and intelligent Systems, Griffith University, Queensland, Australia
Vallipuram Muthukkumarasamy, School of Information and Communication technology, Griffith University, Queensland, Australia
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.
Citation:
Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy, "Formal Verification of the IEEE 802.11i WLAN Security Protocol," aswec, pp.181-190, Australian Software Engineering Conference (ASWEC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.