A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange

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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We propose a probabilistic variant of the pi-calculus as a framework to specify randomized security protocols and their intended properties. In order to express an verify the correctness of the protocols, we develop a probabilistic version of the testing semantics. We then illustrate these concepts on an extended example: the Partial Secret Exchange, a protocol which uses a randomized primitive, the Oblivious Transfer, to achieve fairness of information exchange between two parties.
Type de document :
Communication dans un congrès
Rocco De Nicola and Davide Sangiorgi. First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. Springer, 3705, pp.146-162, 2005, Lecture Notes in Computer Science. 〈10.1007/11580850_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00201111
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 19:45:06
Dernière modification le : jeudi 10 mai 2018 - 02:06:38
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:34:45

Fichier

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

Identifiants

Collections

Citation

Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. Rocco De Nicola and Davide Sangiorgi. First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. Springer, 3705, pp.146-162, 2005, Lecture Notes in Computer Science. 〈10.1007/11580850_9〉. 〈inria-00201111〉

Partager

Métriques

Consultations de la notice

440

Téléchargements de fichiers

93