Refinement Metrics for Quantitative Information Flow - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2019

Refinement Metrics for Quantitative Information Flow


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
86 View
190 Download



Gmail Facebook X LinkedIn More