Quantitative Information Flow in Interactive Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Computer Security Année : 2012

Quantitative Information Flow in Interactive Systems

Résumé

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.
Fichier principal
Vignette du fichier
full.pdf (507.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00637356 , version 1 (01-11-2011)

Identifiants

  • HAL Id : inria-00637356 , version 1

Citer

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Quantitative Information Flow in Interactive Systems. Journal of Computer Security, 2012, 20 (1), pp.3-50. ⟨inria-00637356⟩
288 Consultations
333 Téléchargements

Partager

Gmail Facebook X LinkedIn More