Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.
Arnab RoyAnupam DattaJohn C. MitchellPublished in: TGC (2007)
Keyphrases
- diffie hellman
- security properties
- formal proofs
- security protocols
- key agreement protocol
- secure communication
- key exchange
- encryption scheme
- key management
- security requirements
- cryptographic protocols
- key exchange protocol
- key agreement
- key establishment protocol
- key distribution
- security analysis
- formal model
- smart card
- elliptic curve
- public key cryptosystem
- provably secure
- standard model
- symmetric key
- public key
- secret key
- formal methods
- password based authenticated key exchange
- group communication
- security services
- authentication protocol
- public key cryptography
- ad hoc networks
- security mechanisms
- digital signature
- security policies
- distributed databases
- key establishment
- access control