"Comments on "An approach to the formal verification of the two-party ..."

Dongyao Ji, Yuming Wang (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics