Abstract
Original language | English |
---|---|
Journal | Computer Journal |
Volume | 54 |
Issue number | 4 |
Pages (from-to) | 589-601 |
ISSN | 0010-4620 |
DOIs | |
Publication status | E-pub ahead of print - Apr 2010 |
Keywords
- static program analysis
- protocol verification
- wireless network security
Cite this
}
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 journal › Journal article › Research › peer-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 -