TY - GEN
T1 - A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
AU - Chatzikokolakis, Konstantinos
AU - Palamidessi, Catuscia
PY - 2005/1/1
Y1 - 2005/1/1
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/33646178190
U2 - 10.1007/11580850_9
DO - 10.1007/11580850_9
M3 - Conference contribution
AN - SCOPUS:33646178190
SN - 3540300074
SN - 9783540300076
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 146
EP - 162
BT - Trustworthy Global Computing - International Symposium, TGC 2005, Revised Selected Papers
PB - Springer Verlag
T2 - International Symposium on Trustworthy Global Computing, TGC 2005
Y2 - 7 April 2005 through 9 April 2005
ER -