Quantifying Opacity

Abstract : 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.
Type de document :
Communication dans un congrès
Ciardo, Gianfranco; Segala, Roberto. 7th International Conference on Quantitative Evaluation of Systems (QEST 2010), Sep 2010, Williamsburg, Virginia, United States. IEEE Computer Society, pp.263--272, 2010, 〈10.1109/QEST.2010.40〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01161871
Contributeur : Mathieu Sassolas <>
Soumis le : mardi 9 juin 2015 - 11:57:17
Dernière modification le : mercredi 6 février 2019 - 16:20:37

Identifiants

Collections

Citation

Béatrice Bérard, John Mullins, Mathieu Sassolas. Quantifying Opacity. Ciardo, Gianfranco; Segala, Roberto. 7th International Conference on Quantitative Evaluation of Systems (QEST 2010), Sep 2010, Williamsburg, Virginia, United States. IEEE Computer Society, pp.263--272, 2010, 〈10.1109/QEST.2010.40〉. 〈hal-01161871〉

Partager

Métriques

Consultations de la notice

72