Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation.
Ralf KüstersTomasz TruderungPublished in: CSF (2009)
Keyphrases
- diffie hellman
- key exchange
- key agreement protocol
- public key
- security properties
- key distribution
- group communication
- key exchange protocol
- elliptic curve
- encryption scheme
- secret key
- standard model
- password based authenticated key exchange
- authentication protocol
- security analysis
- signature scheme
- secure communication
- fault tolerant
- control method