Skip to main content

Axioms for information leakage

Authors

Mario Alvim, Kostantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi and Geoffrey Smith

DATA61

Universidade Federal de Minas Gerais

Florida International University

Macquarie University

Ecole Polytechnique

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.

BibTeX Entry

  @inproceedings{Alvim_CMMPS_16,
    publisher        = {IEEE},
    booktitle        = {Computer Security Foundations},
    author           = {Alvim, Mario and Chatzikokolakis, Kostantinos and McIver, Annabelle and Morgan, Carroll and
                        Palamidessi, Catuscia and Smith, Geoffrey},
    month            = jun,
    year             = {2016},
    date             = {2016-6-28},
    title            = {Axioms for Information Leakage},
    pages            = {77-92},
    address          = {Lisbon}
  }

Download

Served by Apache on Linux on seL4.