inria-00637356, version 1
Information Flow in Interactive Systems (Journal Version)
Mário S. Alvim
1Miguel E. Andrés 1Catuscia Palamidessi
1
Journal of Computer Security (2011)
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.
- 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.
- Comment : To appear
- 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: Wednesday, 2 November 2011 09:17:05






Associated documents
Export