Axioms for information leakage

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

doi:10.1109/CSF.2016.13

Axioms for information leakage

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

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

36 Citations (Scopus)

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 language	English
Title of host publication	Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	77-92
Number of pages	16
Volume	2016-August
ISBN (Electronic)	9781509026074
DOIs	https://doi.org/10.1109/CSF.2016.13
Publication status	Published - 8 Aug 2016
Event	29th IEEE Computer Security Foundations Symposium, CSF 2016 - Lisbon, Portugal Duration: 27 Jun 2016 → 1 Jul 2016

Publication series

Name	IEEE Computer Security Foundations Symposium Proceedings
Publisher	IEEE Computer Society
ISSN (Print)	1940-1434

Other

Other	29th IEEE Computer Security Foundations Symposium, CSF 2016
Country/Territory	Portugal
City	Lisbon
Period	27/06/16 → 1/07/16

Access to Document

10.1109/CSF.2016.13

Cite this

Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., & Smith, G. (2016). Axioms for information leakage. In Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016 (Vol. 2016-August, pp. 77-92). [7536368] (IEEE Computer Security Foundations Symposium Proceedings). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CSF.2016.13

@inproceedings{37e57973ba7c4a66bf9ee3277b627af5,

title = "Axioms for information leakage",

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.",

author = "Alvim, {M{\'a}rio S.} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",

year = "2016",

month = aug,

day = "8",

doi = "10.1109/CSF.2016.13",

language = "English",

volume = "2016-August",

series = "IEEE Computer Security Foundations Symposium Proceedings",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

pages = "77--92",

booktitle = "Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016",

address = "United States",

note = "29th IEEE Computer Security Foundations Symposium, CSF 2016 ; Conference date: 27-06-2016 Through 01-07-2016",

}

Alvim, MS, Chatzikokolakis, K, McIver, A, Morgan, C, Palamidessi, C & Smith, G 2016, Axioms for information leakage. in Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016. vol. 2016-August, 7536368, IEEE Computer Security Foundations Symposium Proceedings, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 77-92, 29th IEEE Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, 27/06/16. https://doi.org/10.1109/CSF.2016.13

Axioms for information leakage. / Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle et al.
Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016. Vol. 2016-August Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2016. p. 77-92 7536368 (IEEE Computer Security Foundations Symposium Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Axioms for information leakage

AU - Alvim, Mário S.

AU - Chatzikokolakis, Konstantinos

AU - McIver, Annabelle

AU - Morgan, Carroll

AU - Palamidessi, Catuscia

AU - Smith, Geoffrey

PY - 2016/8/8

Y1 - 2016/8/8

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.

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

U2 - 10.1109/CSF.2016.13

DO - 10.1109/CSF.2016.13

M3 - Conference proceeding contribution

AN - SCOPUS:84985991368

VL - 2016-August

T3 - IEEE Computer Security Foundations Symposium Proceedings

SP - 77

EP - 92

BT - Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - 29th IEEE Computer Security Foundations Symposium, CSF 2016

Y2 - 27 June 2016 through 1 July 2016

ER -

Alvim MS, Chatzikokolakis K, McIver A, Morgan C, Palamidessi C, Smith G. Axioms for information leakage. In Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016. Vol. 2016-August. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE). 2016. p. 77-92. 7536368. (IEEE Computer Security Foundations Symposium Proceedings). doi: 10.1109/CSF.2016.13

Axioms for information leakage

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this