A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

    Research output: Contribution to journalJournal articleResearchpeer-review


    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
    Issue number4
    Pages (from-to)589-601
    Publication statusE-pub ahead of print - Apr 2010


    • 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