Rohit Chadha, John C. Mitchell, Andre Scedrov, and Vitaly Shmatikov...  Home/Search
Context
Related
| stanford.edu/peopl...cmssconcoptim.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: stanford.edu/peopl...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text. Optimistic contract signing protocols enable the signers to do so without invoking a trusted third party. However, an adjudicating third party remains available should one or both signers seek timely resolution. We analyze optimistic contract signing protocols using a game-theoretic approach and prove a fundamental impossibility result: in any fair, optimistic, timely protocol, an optimistic... (Update)
Active bibliography (related documents): More All
1.6: Contract Signing, Optimism, and Advantage - Chadha, Mitchell, Scedrov.. (Correct)
0.3: Fair Exchange - Pagnia, Vogt, Gartner (2003) (Correct)
0.2: Analysis of Probabilistic Contract Signing - Norman, Shmatikov (2002) (Correct)
Similar documents based on text: More All
0.3: Analysis of Abuse-Free Contract Signing - Shmatikov, Mitchell (2000) (Correct)
0.3: Analysis of a Fair Exchange Protocol - Shmatikov, Mitchell (1999) (Correct)
0.3: Finite-State Analysis of Two Contract Signing Protocols - Shmatikov, Mitchell (2001) (Correct)
BibTeX entry: (Update)
@misc{ john-contract,
author = "Rohit Chadha John",
title = "Contract Signing, Optimism, and Advantage",
url = "citeseer.ist.psu.edu/686339.html" }
Citations (may not include all citations):739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
404 A calculus for cryptographic protocols: the spi-calculus - Abadi, Gordon - 1999
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
194 Knowledge and Belief (context) - Hintikka - 1962
131 Optimistic fair exchange of digital signatures - Asokan, Shoup et al. - 2000
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
100 Optimistic protocols for fair exchange - Asokan, Schunter et al. - 1997
97 the security of public-key protocols (context) - Dolev, Yao - 1981
90 Strand spaces: Why is a security protocol correct (context) - Fabrega, Herzog et al. - 1998
80 A semantic model for authentication protocols - Woo, Lam - 1993
78 A fair non-repudiation protocol - Zhou, Gollmann - 1996
42 Abuse-free optimistic contract signing - Garay, Jakobsson et al. - 1999
31 Practical and provably secure release of a secret and exchan.. (context) - Damgard - 1995
30 IEEE Transactions on Information Theory (context) - Ben-Or, Goldreich et al. - 1990
28 Inductive methods and contract signing protocols - Chadha, Kanovich et al. - 2001
24 Game analysis of abuse-free contract signing - Kremer, Raskin - 2002
17 the impossibility of fair exchange without a trusted third p.. - Pagnia, Gaertner - 1999
13 Optimistic fair exchange with transparent signature recovery - Markowitch, Saeednia - 2001
12 A game-based verification of non-repudiation and fair exchan.. - Kremer, Raskin - 2001
9 Relations among public key signature schemes (context) - Even, Yacobi - 1980
6 Computing by multiset transformation (context) - Banatre, Le Metayer - 1993
5 Off-line fair payment protocols using convertible signatures - Boyd, Foo - 1998
5 Modeling adversaries in a logic for security protocol analys.. - Pucella, Halpern - 2002
4 Timed commitments and applications (context) - Boneh, Naor - 2000
4 Toward a formal model of fair exchange --- a game theoretic .. - Buttyan, Hubaux - 1999
Documents on the same site (http://theory.stanford.edu/people/jcm/publications.htm): More
A Core Calculus of Classes and Mixins - Bono, Patel, Shmatikov (1999) (Correct)
Analysis of a Fair Exchange Protocol - Shmatikov, Mitchell (1999) (Correct)
Relating Strands and Multiset Rewriting for.. - Cervesato.. (2000) (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