Compositionality Results for Quantitative Information Flow

Abstract : In the min-entropy approach to quantitative information flow, the leakage is defined in terms of a minimization problem, which, in case of large systems, can be computationally rather heavy. The same happens for the recently proposed generalization called g-vulnerability. In this paper we study the case in which the channel associated to the system can be decomposed into simpler channels, which typically happens when the observables consist of several components. Our main contribution is the derivation of bounds on the g-leakage of the whole system in terms of the g-leakage of its components.
Document type :
Conference papers
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01006381
Contributor : Catuscia Palamidessi <>
Submitted on : Monday, June 16, 2014 - 8:05:59 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:28 PM
Long-term archiving on : Tuesday, September 16, 2014 - 11:36:45 AM

File

QEST2014long.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositionality Results for Quantitative Information Flow. Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Sep 2014, Florence, Italy. pp.368-383, ⟨10.1007/978-3-319-10696-0⟩. ⟨hal-01006381v2⟩

Share

Metrics

Record views

968

Files downloads

411