2016 IEEE 29th Computer Security Foundations Symposium (CSF) (2016)
June 27, 2016 to July 1, 2016
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSF.2016.13
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.
Probability distribution, Uncertainty, Entropy, Probabilistic logic, Measurement uncertainty, Loss measurement, Area measurement,confidentiality, information flow, g-vulnerability, information theory
Mario S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, "Axioms for Information Leakage", 2016 IEEE 29th Computer Security Foundations Symposium (CSF), vol. 00, no. , pp. 77-92, 2016, doi:10.1109/CSF.2016.13