A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.

Rob Delicata Steve A. Schneider

Published in: Formal Aspects in Security and Trust (2005)

Keyphrases

diffie hellman
key exchange
key agreement protocol
security properties
formal model
group communication
public key
key distribution
key exchange protocol
secret key
secure communication
mobile agents
end to end
multi party
formal methods
elliptic curve