Analysis of key-exchange protocols and their use for building secure channels, in: Birgit Pfitzmann (Ed (0)

by Ran Canetti, Hugo Krawczyk
Venue:Advances in Cryptology – EUROCRYPT 2001