Automating Computational Proofs for Public-Key-Based Key Exchange.

Long Ngo Colin Boyd Juan Manuel González Nieto

Published in: ProvSec (2010)

Keyphrases

public key
diffie hellman
key exchange
security analysis
digital signature
secure communication
session key
signature scheme
secret key
encryption scheme
private key
authentication protocol
smart card
ciphertext
elliptic curve
group communication
image quality
standard model