A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

    Research output: Contribution to journalJournal articleResearchpeer-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
    JournalComputer Journal
    Volume54
    Issue number4
    Pages (from-to)589-601
    ISSN0010-4620
    DOIs
    Publication statusE-pub ahead of print - Apr 2010

    Keywords

    • static program analysis
    • protocol verification
    • wireless network security

    Fingerprint Dive into the research topics of 'A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks'. Together they form a unique fingerprint.

    Cite this