Abstract | ||
---|---|---|
We propose a Dolev-Yao-based definition of abuse freeness for optimistic contract-signing protocols which, unlike other definitions, incorporates a rigorous notion of what it means for an outside party to be convinced by a dishonest party that it has the ability to determine the outcome of the protocol with an honest party, i.e., to determine whether it will obtain a valid contract itself or whether it will prevent the honest party from obtaining a valid contract. Our definition involves a new notion of test (inspired by static equivalence) which the outside party can perform. We show that an optimistic contract-signing protocol proposed by Asokan, Shoup, and Waidner is abusive and that a protocol by Garay, Jakobsson, and MacKenzie is abuse-free according to our definition. Our analysis is based on a synchronous concurrent model in which parties can receive several messages at the same time. This results in new vulnerabilities of the protocols depending on how a trusted third party reacts in case it receives abort and resolve requests at the same time |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11787006_9 | ICALP (2) |
Keywords | Field | DocType |
dolev-yao-based definition,dishonest party,honest party,abuse-free protocol,optimistic contract-signing protocol,outside party,party reacts,valid contract,new notion,new vulnerability,rigorous notion,trusted third party | Secure channel,Abort,Trusted third party,Computer science,Computer security,Static testing,Equivalence (measure theory) | Conference |
Volume | ISSN | ISBN |
4052 | 0302-9743 | 3-540-35907-9 |
Citations | PageRank | References |
12 | 0.72 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Detlef Kähler | 1 | 58 | 3.17 |
Ralf Küsters | 2 | 1014 | 69.62 |
Thomas Wilke | 3 | 31 | 4.21 |