Quantitative Information Flow in Interactive Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Computer Security Year : 2012

Quantitative Information Flow in Interactive Systems

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.
Fichier principal
Vignette du fichier
full.pdf (507.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00637356 , version 1

Cite

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 View
335 Download

Share

Gmail Facebook X LinkedIn More