oaioai:CiteSeerX.psu:10.1.1.594.4024

A framework for analyzing probabilistic protocols and its application to the partial secrets exchange

Abstract

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

thumbnail-image
oaioai:CiteSeerX.psu:10.1.1.594.4024Last 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.