Design-Efficiency in Security

📝 Original Info

• Title: Design-Efficiency in Security
• ArXiv ID: 1302.1111
• Date: 2013-02-06
• Authors: Researchers from original ArXiv paper

📝 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.

💡 Deep Analysis

Deep Dive into Design-Efficiency in Security.

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.

📄 Full Content

Reference