28 search results - page 4 / 6 » Usable Optimistic Fair Exchange |
NDSS
2000
IEEE
13 years 11 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
CONCUR
2003
Springer
13 years 11 months ago
2003
Springer
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 i...
ACISP
2004
Springer
13 years 12 months ago
2004
Springer
In PODC 2003, Micali presented a fair electronic exchange protocol for contract signing with an invisible trusted party [17]. The protocol was filed as a US patent No 5666420 in 1...
ECIS
2001
13 years 8 months ago
2001
A currency exchange system is introduced for a multi-currency electronic money trial, in which smartcardbased electronic moneys (two currencies) are circulated over the Internet. ...
ACSD
2010
IEEE
13 years 4 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...