Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation.
Yassine LakhnechLaurent MazaréPublished in: IACR Cryptol. ePrint Arch. (2005)
Keyphrases
- security protocols
- diffie hellman
- security properties
- secure communication
- cryptographic protocols
- key management
- public key
- key distribution
- authentication protocol
- formal methods
- security services
- security requirements
- group communication
- secret key
- standard model
- rfid tags
- model checking
- security mechanisms
- formal model
- real time
- distributed systems
- formal verification
- ad hoc networks
- smart card
- private key
- elliptic curve
- security analysis