Compositional Methods for Information-Hiding

Christelle Braun 1 Konstantinos Chatzikokolakis 1 Catuscia Palamidessi 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : 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.
Type de document :
Communication dans un congrès
Roberto Amadio. Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. Springer, 4962, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-78499-9_31〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00349227
Contributeur : Catuscia Palamidessi <>
Soumis le : jeudi 25 décembre 2008 - 04:25:26
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : mardi 8 juin 2010 - 18:13:25

Fichier

fossacs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositional Methods for Information-Hiding. Roberto Amadio. Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. Springer, 4962, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-78499-9_31〉. 〈inria-00349227〉

Partager

Métriques

Consultations de la notice

354

Téléchargements de fichiers

106