Axioms for Information Leakage - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Axioms for Information Leakage


Quantitative information flow aims to assess and control the leakage of sensitive information by computer systems. A key insight in this area is that no single leakage measure is appropriate in all operational scenarios; as a result, many leakage measures have been proposed, with many different properties. To clarify this complex situation, this paper studies information leakage axiomatically, showing important dependencies among different axioms. It also establishes a completeness result about the g-leakage family, showing that any leakage measure satisfying certain intuitively-reasonable properties can be expressed as a g-leakage.
Fichier principal
Vignette du fichier
csf16-FinalVersion-CameraReady.pdf (426.13 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01330414 , version 1 (10-06-2016)


  • HAL Id : hal-01330414 , version 1


Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. Axioms for Information Leakage. 29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16. ⟨hal-01330414⟩
332 View
735 Download


Gmail Mastodon Facebook X LinkedIn More