|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
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.
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.
Repository Staff Only: item control page