@book{6b1156b719344bfe8de8ecd8c3463816,
title = "Design-Efficiency in Security",
abstract = "In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis for a new approach to balance security and performance, and therefore provide design-efficiency of key updates. We employ probabilistic model checking approach and present our modelling and analysis study using PRISM model checker.",
author = "Ender Yuksel and Nielson, {Hanne Riis} and Flemming Nielson",
year = "2013",
language = "English",
series = "D T U Compute. Technical Report",
publisher = "Technical University of Denmark",
number = "2013-03",
}