An algebraic approach to the verification of a class of Diffie-Hellman protocols.

Rob Delicata Steve A. Schneider

Published in: Int. J. Inf. Sec. (2007)

Keyphrases

diffie hellman
key exchange
key agreement protocol
security properties
cryptographic protocols
key exchange protocol
public key
secure communication
key distribution
group communication
encryption scheme
signature scheme
low cost
formal verification
elliptic curve
security analysis
formal methods
model checking