A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

ZigRee 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. I...

Full description

Saved in:
Bibliographic Details
Published in:Computer journal 2011-04, Vol.54 (4), p.589-601
Main Authors: Yuksel, E., Riis Nielson, H., Nielson, F.
Format: Article
Language:English
Subjects:
Access control
Authentication protocols
Computer programming
Protocol verification
Wireless networks
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:ZigRee 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. [PUBLICATION ABSTRACT]
ISSN:0010-4620
1460-2067
DOI:10.1093/comjnl/bxq036