21734 articles – 15570 Notices  [english version]

inria-00479672, version 3

Information Flow in Interactive Systems

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

21th International Conference on Concurrency Theory (CONCUR 2010) 6269 (2010) 102-116

Résumé : 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.

  • 1 :  COMETE (INRIA Saclay - Ile de France)
  • INRIA – Polytechnique - X – CNRS : UMR7161
  • 2 :  Computing Science Department (CS)
  • Radboud university of Nijmegen
  • Domaine : Informatique/Cryptographie et sécurité
    Informatique/Théorie de l'information et codage
    Mathématiques/Théorie de l'information et codage
  • Versions disponibles :  v1 (01-05-2010) v2 (19-12-2010) v3 (02-11-2011)
 
  • inria-00479672, version 3
  • http://hal.inria.fr/inria-00479672
  • oai:hal.inria.fr:inria-00479672
  • Contributeur : Catuscia Palamidessi <>
  • Soumis le : Mardi 1 Novembre 2011, 12:04:47
  • Dernière modification le : Vendredi 30 Décembre 2011, 05:51:41