Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents.
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu TuruaniPublished in: FSTTCS (2003)
Keyphrases
- diffie hellman
- key agreement protocol
- key exchange
- public key
- security properties
- key establishment protocol
- key distribution
- standard model
- group communication
- key exchange protocol
- secure communication
- key agreement
- elliptic curve
- security protocols
- public key cryptosystem
- password based authenticated key exchange
- encryption scheme
- signature scheme
- key management
- security analysis
- secret key
- authentication protocol
- provably secure
- security requirements
- cryptographic protocols
- formal model
- private key
- security model
- digital signature
- smart card
- fault tolerant
- public key cryptography
- signcryption scheme