Analysis of key-exchange protocols and their use for building secure channels (0)

by Ran Canetti, Hugo Krawczyk
Venue:In Birgit Pfitzmann, editor, Advances in Cryptology - EUROCRYPT 2001, volume 2045 of LNCS