Skip to Main content Skip to Navigation
Journal articles

An Axiomatization of Information Flow Measures

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.
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01995712
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Thursday, July 11, 2019 - 4:36:15 PM
Last modification on : Friday, May 21, 2021 - 7:22:03 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Mário Alvim, Konstantinos Chatzikokolakis, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, et al.. An Axiomatization of Information Flow Measures. Theoretical Computer Science, Elsevier, 2019, 777, pp.32-54. ⟨10.1016/j.tcs.2018.10.016⟩. ⟨hal-01995712⟩

Share

Metrics

Record views

284

Files downloads

363