16 search results - page 2 / 4 » A Formal Analysis of Fairness and Non-repudiation in the RSA... |
CSIE
2009
IEEE
13 years 12 months 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...
NDSS
2000
IEEE
13 years 9 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...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
WKDD
2010
CPS
14 years 2 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...