On Formal Models for Secure Key Exchange (1999)

by Victor Shoup , Victor Shoup
Citations:76 - 2 self