Cas J. F. Cremers. Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2. In Vijay Atluri, Claudia Díaz, editors, Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings. Volume 6879 of Lecture Notes in Computer Science, pages 315-334, Springer, 2011. [doi]
Abstract is missing.