Login / Signup
Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically.
Jean Goubault-Larrecq
Muriel Roger
Kumar Neeraj Verma
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
diffie hellman
key exchange
key agreement protocol
security properties
group communication
public key
key distribution
elliptic curve
key exchange protocol
password based authenticated key exchange
security analysis
multiresolution
secret key
standard model
data distribution
encryption scheme