Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock. On Session Key Construction in Provably-Secure Key Establishment Protocols. In Ed Dawson, Serge Vaudenay, editors, Progress in Cryptology - Mycrypt 2005, First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings. Volume 3715 of Lecture Notes in Computer Science, pages 116-131, Springer, 2005. [doi]
Abstract is missing.