Quantifying Opacity - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Quantifying Opacity

Béatrice Bérard
Mathieu Sassolas
  • Function : Author
  • PersonId : 867960


In this paper we propose two dual notions of quantitative information leakage in probabilistic systems, both related to opacity for non probabilistic systems. The liberal one measures the probability for an attacker observing a random execution of the system, to be able to gain information he can be sure about. We show that a null value for this measure corresponds to a secure system, in the usual sense of opacity. On the other hand, restrictive opacity is defined as the complement of the information-theoretic notion of mutual information. It measures the level of certitude in the information acquired by an attacker observing the system: we prove that a null value for this second measure corresponds to non opacity. We also show how these measures can be computed for regular secrets and observations. We finally apply them to the dining cryptographers problem and to the crowd anonymity protocol.
No file

Dates and versions

hal-01161871 , version 1 (09-06-2015)



Béatrice Bérard, John Mullins, Mathieu Sassolas. Quantifying Opacity. 7th International Conference on Quantitative Evaluation of Systems (QEST 2010), Sep 2010, Williamsburg, Virginia, United States. pp.263--272, ⟨10.1109/QEST.2010.40⟩. ⟨hal-01161871⟩
42 View
0 Download



Gmail Facebook Twitter LinkedIn More