Search
 
loader loading subjects...
cover
Probability and Time in Measuring Security
Anatol Slissenko
169 - 183
NATO Security through Science Series - D: Information and Communication Security
Volume 1: Verification of Infinite-State Systems with Applications to Security
Abstract

The paper discusses some possible approaches to measuring security of timed and probabilistic models of systems. We discuss problems concerning the leak of information and the resistance of executions of security policies, and propose quantitative characteristics of security. Algorithmic questions related to the computation of these characteristics are formulated for finite transition models.

$35.00 / €27.50 / £22.00
Add PDF to cart