Title: Games for non-repudiation protocol correctness

Authors: K. Adi, L. Pene, L. Sullivan

Addresses: Computer Science and Engineering Department, Universite du Quebec en Outaouais, Gatineau (Quebec) J8X 3X7, Canada. ' Computer Science and Engineering Department, Universite du Quebec en Outaouais, Gatineau (Quebec) J8X 3X7, Canada. ' Computer Science and Engineering Department, Universite du Quebec en Outaouais, Gatineau (Quebec) J8X 3X7, Canada

Abstract: The aim of this paper is to investigate the correctness of non-repudiation protocols without a Trusted Third Party (TTP) with respect to the fairness property. We first present sufficient syntactic conditions under which probabilistic fairness can be guaranteed and by modelling non-repudiation protocols as games, we use game theory results to show that the best level of fairness such protocols can achieve is probabilistic fairness.

Keywords: security protocols; non-repudiation; protocol correctness; games theory; probabilistic fairness; modelling.

DOI: 10.1504/IJWMC.2010.035890

International Journal of Wireless and Mobile Computing, 2010 Vol.4 No.4, pp.305 - 313

Published online: 07 Oct 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article