On Formal Model for Secure key exchange (1999)

by Victor Shoup
Venue:IBM Research Report RZ3120