On the Compositionality of Quantitative Information Flow

Yusuke Kawamoto 1 Konstantinos Chatzikokolakis 2, 3 Catuscia Palamidessi 4, 3
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : Information flow is the branch of security that studies the leakage of information due to correlation between secrets and observables. Since in general such correlation cannot be avoided completely, it is important to quantify the leakage. The most followed approaches to defining appropriate measures are those based on information theory. In particular, one of the most successful approaches is the recently proposed g-leakage framework, which encompasses most of the information-theoretic ones. A problem with g-leakage, however, is that it is defined in terms of a minimization problem, which, in the case of large systems, can be computationally rather heavy. 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 multiple components. Our main contribution is the derivation of bounds on the (multiplicative version of) g-leakage of the whole system in terms of the g-leakages of its components. We also consider the particular cases of min-entropy leakage and of parallel channels, generalizing and systematizing results from the literature. We demonstrate the effectiveness of our method and evaluate the precision of our bounds using examples.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-31
Liste complète des métadonnées

https://hal.inria.fr/hal-01421424
Contributeur : Catuscia Palamidessi <>
Soumis le : jeudi 22 décembre 2016 - 12:23:07
Dernière modification le : jeudi 10 mai 2018 - 02:06:15

Lien texte intégral

Identifiants

  • HAL Id : hal-01421424, version 1
  • ARXIV : 1611.00455

Citation

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. On the Compositionality of Quantitative Information Flow. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-31. 〈hal-01421424〉

Partager

Métriques

Consultations de la notice

418