Games for non-repudiation protocol correctness. - Kamel Adi; Liviu Pene; L. Sullivan (Int. J. Wirel. Mob. Comput., 2010)