Information Flow in Interactive Systems

Mário Alvim 1 Miguel 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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Communication dans un congrès
Paul Gastin and François Laroussinie. 21th International Conference on Concurrency Theory (CONCUR 2010), Aug 2010, Paris, France. Springer, 6269, pp.102-116, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15375-4_8〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00479672
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 1 novembre 2011 - 12:04:47
Dernière modification le : jeudi 10 mai 2018 - 02:06:48
Document(s) archivé(s) le : lundi 5 décembre 2016 - 04:27:25

Fichier

concur.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mário Alvim, Miguel Andrés, Catuscia Palamidessi. Information Flow in Interactive Systems. Paul Gastin and François Laroussinie. 21th International Conference on Concurrency Theory (CONCUR 2010), Aug 2010, Paris, France. Springer, 6269, pp.102-116, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15375-4_8〉. 〈inria-00479672v3〉

Partager

Métriques

Consultations de la notice

509

Téléchargements de fichiers

96