Protocols and its Application to the Partial Secrets Exchange Konstantinos...  Home/Search
Context
Related
| lix.polytechnique.fr/~c...TCSreport.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: lix.polytechnique.fr/~kostas/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 (Update)
Active bibliography (related documents): More All
1.9: A Framework for Analyzing Probabilistic - Protocols And Its (Correct)
0.2: Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
0.2: Weak Bisimulation for Fully Probabilistic Processes - Baier, Hermanns (1999) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ protocols-framework,
author = "Protocols And Its",
title = "A Framework for Analyzing Probabilistic",
url = "citeseer.ist.psu.edu/760804.html" }
Citations (may not include all citations):404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
197 A randomized protocol for signing contracts (context) - Even, Goldreich et al. - 1985
174 How to exchange secrets by oblivious transfer (context) - Rabin - 1981
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1995
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
79 Privacy preserving auctions and mechanism design - Naor, Pinkas et al. - 1999
27 Probabilistic extensions of process algebras - Jonsson, Larsen et al. - 2001
10 Probabilistic asynchronous #-calculus - Herescu, Palamidessi - 2000
9 Security analysis of a probabilistic nonrepudiation protocol (context) - Aldini, Gorrieri - 2002
6 Analysis of probabilistic contract signing - Norman, Shmatikov - 2005
4 cient algorithms for verification of equivalences for probab.. (context) - Christo, Christo - 1991
3 A framework for analyzing probabilistic protocols and its ap.. (context) - Chatzikokolakis, Palamidessi - 2005
3 A framework for analyzing probabilistic protocols and its ap.. (context) - Chatzikokolakis, Palamidessi - 2005
2 A randomized encoding of the pi-calculus with mixed choice (context) - Palamidessi, Herescu - 2002
Documents on the same site (http://www.lix.polytechnique.fr/~kostas/): More
A Survey of Anonymous Peer-to-Peer - File-Sharing Tom Chothia (Correct)
Probable Innocence Revisited - Konstantinos Chatzikokolakis Catuscia (Correct)
A Framework for Analyzing Probabilistic - Protocols And Its (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC