Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.
Benedikt SchmidtSimon MeierCas CremersDavid A. BasinPublished in: CSF (2012)
Keyphrases
- public key
- security properties
- automated analysis
- security analysis
- diffie hellman
- key exchange
- key agreement protocol
- authentication protocol
- key agreement
- visual analysis
- cryptographic protocols
- security protocols
- provably secure
- security requirements
- video analysis
- formal model
- data management
- low cost
- expert systems
- information systems