A game-based verification of non-repudiation and fair exchange protocols1
Steve Kremer, Jean-François Raskin · Journal of Computer Security · 2003
In this paper, we report on a recent work for the verification of non-repudiation protocols. We propose a verification method based on the idea that non-repudiation protocols are best modeled as games. To formalize this idea, we use alternating trans