On formal models for secure key exchange (1999)

by V Shoup
Venue:Invited talk at ACM Computer and Communications Security conference