"On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol."

Susan Pancho-Festin, Dieter Gollmann (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics