On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited.

Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland

Browse the full SCN paper archive.