The Community for Technology Leaders
2016 IEEE 29th Computer Security Foundations Symposium (CSF) (2016)
Lisbon, Portugal
June 27, 2016 to July 1, 2016
ISSN: 2374-8303
ISBN: 978-1-5090-2608-1
pp: 77-92
ABSTRACT
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.
INDEX TERMS
Probability distribution, Uncertainty, Entropy, Probabilistic logic, Measurement uncertainty, Loss measurement, Area measurement,confidentiality, information flow, g-vulnerability, information theory
CITATION
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
93 ms
(Ver 3.3 (11022016))