Fairness in Non-Repudiation Protocols [chapter]

Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen
2012 Lecture Notes in Computer Science  
We indicate two problems with the specifications of fairness that are currently used for the verification of non-repudiation and other fair-exchange protocols. The first of these problems is the implicit assumption of perfect information. The second problem is the possible lack of effectiveness. We solve both problems in isolation by giving new definitions of fairness, but leave the combined solution for further work. Moreover, we establish a hierarchy of various definitions of fairness, and indicate the consequences for existing work.
doi:10.1007/978-3-642-29963-6_10 fatcat:c4p3n7nluvhbnl4vs3z6iklft4