Skip to Main content Skip to Navigation
Book sections

Refinement Metrics for Quantitative Information Flow

Konstantinos Chatzikokolakis 1, 2 Geoffrey Smith 3
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : 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.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-02350777
Contributor : Konstantinos Chatzikokolakis <>
Submitted on : Wednesday, November 6, 2019 - 10:25:32 AM
Last modification on : Thursday, March 5, 2020 - 7:07:13 PM
Long-term archiving on: : Saturday, February 8, 2020 - 2:44:10 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

120

Files downloads

344