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
Article Dans Une Revue Theoretical Computer Science Année : 2007

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 and 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
TCSreport.pdf (248.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00200913 , version 1 (21-12-2007)

Identifiants

Citer

Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. Theoretical Computer Science, 2007, 389 (3), pp.512-527. ⟨10.1016/j.tcs.2007.09.006⟩. ⟨inria-00200913⟩
183 Consultations
142 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More