Compositionality Results for Quantitative Information Flow

Yusuke Kawamoto 1 Konstantinos Chatzikokolakis 1, 2 Catuscia Palamidessi 1, 3
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : In the min-entropy approach to quantitative information flow, the leakage is defined in terms of a minimization problem, which, in case of large systems, can be computationally rather heavy. The same happens for the recently proposed generalization called g-vulnerability. In this paper we study the case in which the channel associated to the system can be decomposed into simpler channels, which typically happens when the observables consist of several components. Our main contribution is the derivation of bounds on the g-leakage of the whole system in terms of the g-leakage of its components.
Type de document :
Communication dans un congrès
Gethin Norman and William H. Sanders. Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Sep 2014, Florence, Italy. Springer, 8657, pp.368-383, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-10696-0〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01006381
Contributeur : Catuscia Palamidessi <>
Soumis le : lundi 16 juin 2014 - 20:05:59
Dernière modification le : jeudi 9 février 2017 - 15:06:07
Document(s) archivé(s) le : mardi 16 septembre 2014 - 11:36:45

Fichier

QEST2014long.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositionality Results for Quantitative Information Flow. Gethin Norman and William H. Sanders. Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Sep 2014, Florence, Italy. Springer, 8657, pp.368-383, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-10696-0〉. 〈hal-01006381v2〉

Partager

Métriques

Consultations de
la notice

828

Téléchargements du document

227