Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels (2001)

by R Canetti, H Krawczyk
Venue:Advances in Cryptology - proc. of EUROCRYPT '01, LNCS 2045, SpringerVerlag