
Opacity is a general language-theoretic framework in which several security properties of a system can be expressed. Its parameters are a predicate, given as a subset of runs of the system, and an observation function, from the set of runs into a set of observables. The predicate describes secret information in the system and, in the possibilistic setting, it is opaque if its membership cannot be inferred from observation.In this paper, we propose several notions of quantitative opacity for probabilistic systems, where the predicate and the observation function are seen as random variables. Our aim is to measure (i) the probability of opacity leakage relative to these random variables and (ii) the level of uncertainty about membership of the predicate inferred from observation. We show how these measures extend possibilistic opacity, we give algorithms to compute them for regular secrets and observations, and we apply these computations on several classical examples. We finally partially investigate the non-deterministic setting.
FOS: Computer and information sciences, Probability in computer science (algorithm analysis, random structures, phase transitions, etc.), Computer Science - Cryptography and Security, opacity, Formal languages and automata, secret, information leak, systèmes probabilistes, [INFO] Computer Science [cs], opacité, fuite d'information, Cryptography and Security (cs.CR), probabilistic systems
FOS: Computer and information sciences, Probability in computer science (algorithm analysis, random structures, phase transitions, etc.), Computer Science - Cryptography and Security, opacity, Formal languages and automata, secret, information leak, systèmes probabilistes, [INFO] Computer Science [cs], opacité, fuite d'information, Cryptography and Security (cs.CR), probabilistic systems
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 56 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
