TY - GEN
T1 - Compositional methods for information-hiding
AU - Braun, Christelle
AU - Chatzikokolakis, Konstantinos
AU - Palamidessi, Catuscia
PY - 2008/1/1
Y1 - 2008/1/1
N2 - Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provided by a protocol can be expressed in terms of the probability of error associated to the inference of the secret information. We consider a probabilistic process calculus approach to the specification of such protocols, and we study how the operators affect the probability of error. In particular, we characterize constructs that have the property of not decreasing the degree of protection, and that can therefore be considered safe in the modular construction of protocols. As a case study, we apply these techniques to the Dining Cryptographers, and we are able to derive a generalization of Chaum's strong anonymity result.
AB - Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provided by a protocol can be expressed in terms of the probability of error associated to the inference of the secret information. We consider a probabilistic process calculus approach to the specification of such protocols, and we study how the operators affect the probability of error. In particular, we characterize constructs that have the property of not decreasing the degree of protection, and that can therefore be considered safe in the modular construction of protocols. As a case study, we apply these techniques to the Dining Cryptographers, and we are able to derive a generalization of Chaum's strong anonymity result.
U2 - 10.1007/978-3-540-78499-9_31
DO - 10.1007/978-3-540-78499-9_31
M3 - Conference contribution
AN - SCOPUS:47249145678
SN - 3540784977
SN - 9783540784975
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 443
EP - 457
BT - Foundations of Software Science and Computational Structures - 11th Int. Conf., FOSSACS 2008 - Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2008, Proceedings
PB - Springer Verlag
T2 - "11th International Conferenceon the Foundations of Software Science and Computations Structures, FOSSACS 2008"
Y2 - 29 March 2008 through 6 April 2008
ER -