Modelling of secure data transmission over a multichannel wireless network in alloy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper proposes a modelling and verification approach for data transmission over a multichannel wireless local area network (WLAN). The approach uses typed first-order logic as a specification language. We analyse a system which transmits data securely in the presence of the classic Man in The Middle (MitM) attack using Alloy. We develop a methodology for representing secure message exchange on a multi-channel WLAN which uses a changeable array and indices, instead of the message itself so that we can avoid both passive and active MitM attacks. We analyse the model for vulnerabilities and specify assertions for secure data transmission over a multichannel WLAN.
Original languageEnglish
Title of host publication2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
PublisherIEEE
Pages785-792
Number of pages8
ISBN (Print)978-1-4673-2172-3
DOIs
Publication statusPublished - 2012

Fingerprint Dive into the research topics of 'Modelling of secure data transmission over a multichannel wireless network in alloy'. Together they form a unique fingerprint.

  • Cite this

    Alabdali, A. M., Georgieva, L., & Michaelson, G. J. (2012). Modelling of secure data transmission over a multichannel wireless network in alloy. In 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (pp. 785-792). IEEE. https://doi.org/10.1109/TrustCom.2012.207