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.
Type de document :
Communication dans un congrès
29th Computer Security Foundations Symposium (CSF 2016), Jun 2016, Lisbon, Portugal. pp.16, 2016
Liste complète des métadonnées

https://hal.inria.fr/hal-01330414
Contributeur : Konstantinos Chatzikokolakis <>
Soumis le : vendredi 10 juin 2016 - 15:35:29
Dernière modification le : samedi 18 février 2017 - 01:13:47

Fichier

csf16-FinalVersion-CameraReady...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01330414, version 1

Citation

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. Axioms for Information Leakage. 29th Computer Security Foundations Symposium (CSF 2016), Jun 2016, Lisbon, Portugal. pp.16, 2016. 〈hal-01330414〉

Partager

Métriques

Consultations de
la notice

311

Téléchargements du document

104