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 proto-cols, we develop a probabilistic version of the testing semantics. We then illustrate these concepts on an extended example: the Partial Secret Ex-change, a protocol which uses a randomized primitive, the Oblivious Transfer, to achieve fairness of information exchange between two par-ties.

Similar works

Full text

oaioai:CiteSeerX.psu: time updated on 10/29/2017

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.