Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland. On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. In Carlo Blundo, Stelvio Cimato, editors, Security in Communication Networks, 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers. Volume 3352 of Lecture Notes in Computer Science, pages 351-366, Springer, 2004. [doi]
Abstract is missing.