10 search results - page 1 / 2 » Analysis and Improvement of Micali's Fair Contract Signing P... |
ACISP
2004
Springer
13 years 11 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...
JCS
2006
13 years 5 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
CSIE
2009
IEEE
14 years 9 days ago
2009
IEEE
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
WKDD
2010
CPS
14 years 15 days ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
IANDC
2008
13 years 5 months ago
2008
A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a pre-agreed...