Skip to Main content Skip to Navigation
New interface
Conference papers

Information Flow in Interactive Systems

Mário S. Alvim 1 Miguel E. Andrés 2 Catuscia Palamidessi 1 
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00479672
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Tuesday, November 1, 2011 - 12:04:47 PM
Last modification on : Thursday, December 1, 2022 - 2:02:08 PM
Long-term archiving on: : Monday, December 5, 2016 - 4:27:25 AM

File

concur.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Information Flow in Interactive Systems. 21th International Conference on Concurrency Theory (CONCUR 2010), Aug 2010, Paris, France. pp.102-116, ⟨10.1007/978-3-642-15375-4_8⟩. ⟨inria-00479672v3⟩

Share

Metrics

Record views

550

Files downloads

274