Design-Efficiency in Security
Cryptography and Security
2013-02-06 v1
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.
Cite
@article{arxiv.1302.1111,
title = {Design-Efficiency in Security},
author = {Ender Yüksel and Hanne Riis Nielson and Flemming Nielson},
journal= {arXiv preprint arXiv:1302.1111},
year = {2013}
}