Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock. Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. In Bimal K. Roy, editor, Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings. Volume 3788 of Lecture Notes in Computer Science, pages 585-604, Springer, 2005. [doi]
Abstract is missing.