HAL: inria-00637356, version 1

See detailed view

BibTeX,EndNote,... BibTeX - EndNote - TEI - RefWorks -

Journal of Computer Security 20, 1 (2012) 3-50

Quantitative Information Flow in Interactive Systems

Mário S. Alvim 1, Miguel E. Andrés 1, Catuscia Palamidessi 1

(2012)

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.

1:	COMETE (INRIA Saclay - Ile de France)
	INRIA – Polytechnique - X – CNRS : UMR7161

Domain

:

Computer Science/Logic in Computer Science

Keywords: Probabilistic systems – Information flow and Anonymity – Information- theoretic channel – Kantorovich metric.

inria-00637356, version 1

http://hal.inria.fr/inria-00637356

oai:hal.inria.fr:inria-00637356

From: Catuscia Palamidessi <>

Submitted on: Tuesday, 1 November 2011 12:23:26

Updated on: Monday, 21 January 2013 01:26:11