A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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

Résumé

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.
Fichier principal
Vignette du fichier
tgc05.pdf (175.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00201111 , version 1 (23-12-2007)

Identifiants

Citer

Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩. ⟨inria-00201111⟩
247 Consultations
122 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More