Show simple item record

dc.contributor.authorSithirasenan, Elankayer
dc.contributor.authorZafar, Saad
dc.contributor.authorMuthukkumarasamy, Vallipuram
dc.contributor.editorJyrki Joutsensalo
dc.date.accessioned2017-05-03T13:58:44Z
dc.date.available2017-05-03T13:58:44Z
dc.date.issued2008
dc.date.modified2012-09-06T22:11:55Z
dc.identifier.issn17971152
dc.identifier.urihttp://hdl.handle.net/10072/23505
dc.description.abstractAs 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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent143817 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherInternational Society for Advanced Science and Technology
dc.publisher.placeFinland
dc.publisher.urihttps://www.isest.org/journals/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom13
dc.relation.ispartofpageto25
dc.relation.ispartofissue1
dc.relation.ispartofjournalISAST Transactions on Computers and Software Engineering
dc.relation.ispartofvolume2
dc.rights.retentionY
dc.subject.fieldofresearchInformation and Computing Sciences not elsewhere classified
dc.subject.fieldofresearchcode089999
dc.titleAnalysis of IEEE 802.11i WLAN Security Protocol
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.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.
gro.date.issued2008
gro.hasfulltextFull Text
gro.griffith.authorMuthukkumarasamy, Vallipuram
gro.griffith.authorZafar, Saad N.
gro.griffith.authorSithirasenan, Elankayer


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record