An axiomatization of information flow measures

Mário S. Alvim*, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

*Corresponding author for this work

Research output: Contribution to journalArticle

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.

Original languageEnglish
Pages (from-to)32-54
Number of pages23
JournalTheoretical Computer Science
Volume777
DOIs
Publication statusPublished - 19 Jul 2019

    Fingerprint

Keywords

  • Axioms
  • Confidentiality
  • g-Vulnerability
  • Information flow
  • Information theory

Cite this

Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., & Smith, G. (2019). An axiomatization of information flow measures. Theoretical Computer Science, 777, 32-54. https://doi.org/10.1016/j.tcs.2018.10.016