Refinement Metrics for Quantitative Information Flow - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2019

Refinement Metrics for Quantitative Information Flow

Résumé

In Quantitative Information Flow, refinement expresses the strong property that one channel never leaks more than another. Since two channels are then typically incomparable, here we explore a family of refinement quasimetrics offering greater flexibility. We show these quasimetrics let us unify refinement and capacity, we show that some of them can be computed efficiently via linear programming, and we establish upper bounds via the Earth Mover's distance. We illustrate our techniques on the Crowds protocol.
Fichier principal
Vignette du fichier
main.pdf (393.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02350777 , version 1 (06-11-2019)

Identifiants

Citer

Konstantinos Chatzikokolakis, Geoffrey Smith. Refinement Metrics for Quantitative Information Flow. Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩. ⟨hal-02350777⟩
104 Consultations
213 Téléchargements

Altmetric

Partager

More