"Security Analysis of IKE's Signature-based Key-Exchange Protocol."

Ran Canetti, Hugo Krawczyk (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics