Alec Yasinsac, Justin Childs. Analyzing Internet Security Protocols. In 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings. pages 149-162, IEEE Computer Society, 2001.
Abstract is missing.