106 search results - page 4 / 22 » Optimistic Fair Secure Computation |
CONCUR
2003
Springer
14 years 3 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...
ACSD
2010
IEEE
13 years 7 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...
ACISP
2004
Springer
14 years 3 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...
INDOCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
Certified e-mail is a value-added service for standard e-mail systems, in which the intended recipient gets the mail content if and only if the mail originator receives a non-repud...
SP
2007
IEEE
14 years 4 months ago
2007
IEEE
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...