@inproceedings{6fb73e576d104a4c9b27cc29b2ec8272,
title = "A framework for analyzing probabilistic protocols and its application to the partial secrets exchange",
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.",
author = "K. Chatzikokolakis and C. Palamidessi",
year = "2005",
doi = "10.1007/11580850_9",
language = "English",
isbn = "3-540-30007-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "146--162",
editor = "{De Nicola}, R. and D. Sangiorgi",
booktitle = "Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers)",
address = "Germany",
}