Optimizing ZigBee Security using Stochastic Model Checking

Ender Yuksel; Hanne Riis Nielson; Flemming Nielson; Matthias Fruth; Marta Kwiatkowska

Optimizing ZigBee Security using Stochastic Model Checking

Ender Yuksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Kwiatkowska

University of Oxford

Research output: Book/Report › Report › Research

192 Downloads (Pure)

Abstract

ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.

Original language	English

Place of Publication	Kgs. Lyngby
Publisher	Technical University of Denmark, DTU Informatics, Building 321
Publication status	Published - 2010

Series	IMM-Technical Report-2010-08

Access to Document

Tr10 08Final published version, 11.2 MB

OpenUrl availability

Full text

Cite this

@book{03bbe83d156b46609a4c3ac61c98efb9,

title = "Optimizing ZigBee Security using Stochastic Model Checking",

abstract = "ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.",

author = "Ender Yuksel and Nielson, {Hanne Riis} and Flemming Nielson and Matthias Fruth and Marta Kwiatkowska",

year = "2010",

language = "English",

series = "IMM-Technical Report-2010-08",

publisher = "Technical University of Denmark, DTU Informatics, Building 321",

}

TY - RPRT

T1 - Optimizing ZigBee Security using Stochastic Model Checking

AU - Yuksel, Ender

AU - Nielson, Hanne Riis

AU - Nielson, Flemming

AU - Fruth, Matthias

AU - Kwiatkowska, Marta

PY - 2010

Y1 - 2010

N2 - ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.

AB - ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.

M3 - Report

T3 - IMM-Technical Report-2010-08

BT - Optimizing ZigBee Security using Stochastic Model Checking

PB - Technical University of Denmark, DTU Informatics, Building 321

CY - Kgs. Lyngby

ER -