Steve Kremer Jean-François Raskin A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. 551-565 2001 conf/concur/2001 CONCUR https://doi.org/10.1007/3-540-44685-0_37 db/conf/concur/concur2001.html#KremerR01