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

Authors: Ran Canetti, Hugo Krawczyk - Lecture notes in computer science 2001 cited by 1,633