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

    Cite this

    @article{843cc20e76b649fa9208a38ef3aab846,
    title = "A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks",
    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.",
    keywords = "static program analysis, protocol verification, wireless network security",
    author = "Ender Yuksel and Nielson, {Hanne Riis} and Flemming Nielson",
    year = "2010",
    month = "4",
    doi = "10.1093/comjnl/bxq036",
    language = "English",
    volume = "54",
    pages = "589--601",
    journal = "Computer Journal",
    issn = "0010-4620",
    publisher = "Oxford University Press",
    number = "4",

    }

    A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming.

    In: Computer Journal, Vol. 54, No. 4, 04.2010, p. 589-601.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

    AU - Yuksel, Ender

    AU - Nielson, Hanne Riis

    AU - Nielson, Flemming

    PY - 2010/4

    Y1 - 2010/4

    N2 - 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.

    AB - 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.

    KW - static program analysis

    KW - protocol verification

    KW - wireless network security

    U2 - 10.1093/comjnl/bxq036

    DO - 10.1093/comjnl/bxq036

    M3 - Journal article

    VL - 54

    SP - 589

    EP - 601

    JO - Computer Journal

    JF - Computer Journal

    SN - 0010-4620

    IS - 4

    ER -