Quantitative Information Flow in Interactive Systems

Mário Alvim 1 Miguel Andrés 1 Catuscia Palamidessi 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : We consider the problem of defining the information leakage in interactive sys- tems where secrets and observables can alternate during the computation. We show that the information-theoretic approach which interprets such systems as (simple) noisy channels is no longer valid. However, the principle can be recovered if we consider channels of a more complicated kind, that in Information Theory are known as channels with memory and feedback. We show that there is a complete correspondence between interactive systems and such channels. Furthermore, we show that the capacity of the channels associated to such systems is a continuous function with respect to a pseudometric based on the Kantorovich metric.
Type de document :
Article dans une revue
Journal of Computer Security, IOS Press, 2012, 20 (1), pp.3-50
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00637356
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 1 novembre 2011 - 12:23:26
Dernière modification le : mercredi 14 novembre 2018 - 16:10:03
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 22:38:59

Fichier

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

Identifiants

  • HAL Id : inria-00637356, version 1

Collections

Citation

Mário Alvim, Miguel Andrés, Catuscia Palamidessi. Quantitative Information Flow in Interactive Systems. Journal of Computer Security, IOS Press, 2012, 20 (1), pp.3-50. 〈inria-00637356〉

Partager

Métriques

Consultations de la notice

476

Téléchargements de fichiers

230