Design-Efficiency in Security

TL;DR

This paper explores balancing security and performance in sensor networks through probabilistic model checking, proposing a new approach to optimize key update efficiency.

Contribution

It introduces a novel probabilistic modeling approach using PRISM to analyze and improve security-performance trade-offs in sensor network design.

Findings

Demonstrates the effectiveness of probabilistic model checking in security-performance analysis.

Provides a new methodology for optimizing key update strategies.

Offers insights into balancing security and efficiency in sensor networks.

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.