275 search results - page 6 / 55 » Analysis of a Fair Exchange Protocol |
JCS
2006
14 years 9 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...
AICCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, a practical electronic-payment (epayment) protocol is presented for use over the internet. The protocol applies the principle of true fair-exchange to the process o...
71
Voted
DBSEC
2009
14 years 10 months ago
2009
87
Voted
DRM
2003
Springer
15 years 2 months ago
2003
Springer
In PODC 2003, Park, Chong, Siegel and Ray [22] proposed an optimistic protocol for fair exchange, based on RSA signatures. We show that their protocol is totally breakable already...
SP
2007
IEEE
15 years 3 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...