17 search results - page 3 / 4 » Analysis on Cyclic Multi-party Fair Exchange Protocols |
IANDC
2008
13 years 6 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...
CSIE
2009
IEEE
14 years 1 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...
IJNSEC
2008
13 years 6 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
FCT
2003
Springer
13 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
JCS
2006
13 years 6 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...