sign in
english version rss feed

inria-00637356, version 1

Information Flow in Interactive Systems (Journal Version)

Mário S. Alvim () 1, Miguel E. Andrés 1, Catuscia 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.

  • 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
  • oai:hal.inria.fr:inria-00637356
  • From: 
  • Submitted on: Tuesday, 1 November 2011 12:23:26
  • Updated on: Wednesday, 2 November 2011 09:17:05
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...