Access Restriction

Author Konstantinos Chatzikokolakis, A. ♦ Catuscia Palamidessi, A. ♦ Futurs, A. Inria
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Analyzing Probabilistic ♦ Oblivious Transfer ♦ Randomized Primitive ♦ Randomized Security Protocol ♦ Intended Property ♦ Probabilistic Variant ♦ Extended Example ♦ Partial Secret Exchange ♦ Probabilistic Version ♦ Information 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 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. 1
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study