Non-repudiation in electronic commerce
Jianying Zhou
Artech House, 2001
Asynchronous protocols for optimistic fair exchange
N.Asokan, V.Shoup and M.Waidner
Proc. 4th ACM Conf. Computer and Communications Security, pp.8-17, 1997.
An intensive survey of fair non-repudiation protocols
S.Kremer, O.Markowitch, J.Zhou
Computer Communications
Vol.25(17), 2002, pp.1606-1621
Abuse-free optimistic contract signing
J.A.Garay, M.Jakobson and P.D.MacKenzie
Advances in Cryptology – Crypto 1999, LNCS N° 1666, pp.449-466, 1999.
A game-based verification of non-repudiation and fair exchange protocols
S.Kremer, J-F.Raskin
Journal of Computer Security
Vol.11(3), 2003, pp.399 - 429
Alternating-time temporal logic
R.Alur, T.A.Henzinger, O.Kupferman
Journal of the ACM
Vol.49(5), 2002, pp.672 - 713
Reactive modules
R.Alur and T.H.Henzinger
Proc. 11th Symp. Logic in Computer Science, pp.207-218, 1996.