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

by R Canetti, H Krawczyk
Venue:Advances in Cryptology-EUROCRYPT 2001, LNCS 2045