An axiomatization of information flow measures

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

Research output: Contribution to journalArticleResearchpeer-review

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.

LanguageEnglish
Pages32-54
Number of pages23
JournalTheoretical Computer Science
Volume777
DOIs
Publication statusPublished - 19 Jul 2019

Fingerprint

Axiomatization
Information Flow
Leakage
Computer systems
Axioms
Completeness
Scenarios

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
Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle ; Morgan, Carroll ; Palamidessi, Catuscia ; Smith, Geoffrey. / An axiomatization of information flow measures. In: Theoretical Computer Science. 2019 ; Vol. 777. pp. 32-54.
@article{9f0f0feaee4843a49e95a4585b8f3a4b,
title = "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.",
keywords = "Axioms, Confidentiality, g-Vulnerability, Information flow, Information theory",
author = "Alvim, {M{\'a}rio S.} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",
year = "2019",
month = "7",
day = "19",
doi = "10.1016/j.tcs.2018.10.016",
language = "English",
volume = "777",
pages = "32--54",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",

}

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

An axiomatization of information flow measures. / Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey.

In: Theoretical Computer Science, Vol. 777, 19.07.2019, p. 32-54.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - An axiomatization of information flow measures

AU - Alvim,Mário S.

AU - Chatzikokolakis,Konstantinos

AU - McIver,Annabelle

AU - Morgan,Carroll

AU - Palamidessi,Catuscia

AU - Smith,Geoffrey

PY - 2019/7/19

Y1 - 2019/7/19

N2 - 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.

AB - 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.

KW - Axioms

KW - Confidentiality

KW - g-Vulnerability

KW - Information flow

KW - Information theory

UR - http://www.scopus.com/inward/record.url?scp=85056547626&partnerID=8YFLogxK

UR - http://purl.org/au-research/grants/arc/DP140101119

U2 - 10.1016/j.tcs.2018.10.016

DO - 10.1016/j.tcs.2018.10.016

M3 - Article

VL - 777

SP - 32

EP - 54

JO - Theoretical Computer Science

T2 - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

ER -

Alvim MS, Chatzikokolakis K, McIver A, Morgan C, Palamidessi C, Smith G. An axiomatization of information flow measures. Theoretical Computer Science. 2019 Jul 19;777:32-54. https://doi.org/10.1016/j.tcs.2018.10.016