A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    ZigBee is a wireless sensor network standard that defines network and application layers on top of IEEE 802.15.4’s physical and medium access control layers. In the latest version of ZigBee, enhancements are prescribed for the security sublayer but we show in this paper that problems persist. In particular we show that the End-to-End Application Key Establishment Protocol is flawed and we propose a secure protocol instead. We do so by using formal verification techniques based on static program analysis and process algebras. We present a way of using formal methods in wireless network security, and propose a secure key establishment protocol for ZigBee networks.
    Original languageEnglish
    Title of host publicationProceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS 2009)
    PublisherIEEE
    Publication date2009
    Pages340-345
    ISBN (Print)978-1-4244-5021-3
    DOIs
    Publication statusPublished - 2009
    EventInternational Symposium on Computer and Information Sciences - Northern Cyprus
    Duration: 1 Jan 2009 → …
    Conference number: 24

    Conference

    ConferenceInternational Symposium on Computer and Information Sciences
    Number24
    CityNorthern Cyprus
    Period01/01/2009 → …

    Cite this

    Yuksel, E., Nielson, H. R., & Nielson, F. (2009). A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. In Proceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS 2009) (pp. 340-345). IEEE. https://doi.org/10.1109/ISCIS.2009.5291816