A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Axioms for Information Leakage
2016
2016 IEEE 29th Computer Security Foundations Symposium (CSF)
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
doi:10.1109/csf.2016.13
dblp:conf/csfw/AlvimCMMPS16
fatcat:gns24qljy5g4tcmdkb3z2467zm