Information Flow in Interactive SystemsReport as inadecuate




Information Flow in Interactive Systems - Download this document for free, or read online. Document in PDF available to download.

1 COMETE - Concurrency, Mobility and Transactions LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau, Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161 2 CS - Computing Science Department

Abstract : We consider the problem of defining the information leakage in interactive systems 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 not valid anymore. However, the principle can be retrieved if we consider more complicated types of channels, 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 kind of channels. Furthermore, we show that the capacity of the channels associated to such systems is a continuous function of the Kantorovich metric.





Author: Mário Alvim - Miguel Andrés - Catuscia Palamidessi -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents