TY - GEN
T1 - Compositionality results for quantitative information flow
AU - Kawamoto, Yusuke
AU - Chatzikokolakis, Konstantinos
AU - Palamidessi, Catuscia
PY - 2014/1/1
Y1 - 2014/1/1
N2 - 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-leakages of its components.
AB - 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-leakages of its components.
U2 - 10.1007/978-3-319-10696-0_28
DO - 10.1007/978-3-319-10696-0_28
M3 - Conference contribution
AN - SCOPUS:84907325092
SN - 9783319106953
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 368
EP - 383
BT - Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Proceedings
PB - Springer Verlag
T2 - 11th International Conference on Quantitative Evaluation of Systems, QEST 2014
Y2 - 8 September 2014 through 10 September 2014
ER -