Login / Signup
On Formal Models for Secure Key Exchange.
Victor Shoup
Published in:
IACR Cryptol. ePrint Arch. (1999)
Keyphrases
</>
key exchange
formal models
security analysis
diffie hellman
formal model
rule based systems
process model
key exchange protocol
digital signature
public key
secure communication
password based authenticated key exchange
standard model
smart card
encryption scheme
key distribution
lightweight