Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Quantified Interference: Information Theory and Information Flow

Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2004) Quantified Interference: Information Theory and Information Flow. In: Workshop on Issues in the Theory of Security, April 3-4 2004, Barcelona.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
186Kb

Abstract

The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.

Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:1107
Deposited By:Dr. David Clark
Deposited On:13 Nov 2007 16:46
Last Modified:13 Nov 2007 16:46

Repository Staff Only: item control page