Recent research in quantitative theories for information-hiding topics, such as Anonymity and Secure Information Flow, tend to converge towards the idea of modeling the system as a noisy channel in the information-theoretic sense. The notion of information leakage, or vulnerability of the system, has been related in some approaches to the concept of mutual information of the channel. A recent work of Smith has shown, however, that if the attack consists in one single try, then the mutual information and other concepts based on Shannon entropy are not suitable, and he has proposed to use Rényi's min-entropy instead. In this paper, we consider and compare two different possibilities of defining the leakage, based on the Bayes risk, a concept related to Rényi min-entropy.
|Title of host publication||Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009, Oxford, UK, April 3-7, 2009)|
|Editors||S. Abramsky, M. Mislove, C. Palamidessi|
|Publication status||Published - 2009|
|Name||Electronic Notes in Theoretical Computer Science|