Design-Efficiency in Security

2013/02/05 by Ender Yüksel, Yüksel, Ender, Hanne Riis Nielson +3
Computer Science · #Business #Computer science #Computer security #Information and Cyber Security #Network Security and Intrusion Detection #Security in Wireless Sensor Networks #cs.CR

paper · pdf · doi:10.48550/arxiv.1302.1111

published in arXiv (Cornell University) (Cornell University)

arxiv created 2013/02/05 · openalex publication_date 2013/02/05 · arxiv updated 2013/02/06 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

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.

Related

• Optimizing ZigBee Security using Stochastic Model Checking
• Wireless Sensor Networks Security: State of the Art
• Study and Development of a New Symmetric Key Management Scheme for Wireless Sensor Networks
• Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
• Evaluating Security and Availability of Multiple Redundancy Designs when Applying Security Patches