CRFeb 5, 2013
Design-Efficiency in Security
arXiv:1302.1111v1
AI Analysis
This addresses security-performance trade-offs in sensor networks, but appears incremental as it builds on existing model checking methods.
The paper tackled the problem of balancing security and performance in sensor networks, resulting in a new approach for design-efficient key updates using probabilistic model checking with PRISM.
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.