Key Agreement via Protocols.
Andrew William RoscoeLei WangPublished in: Foundations of Security, Protocols, and Equational Reasoning (2019)
Keyphrases
- key agreement protocol
- key agreement
- security properties
- key distribution
- diffie hellman
- mutual authentication
- secret key
- security protocols
- cryptographic protocols
- elliptic curve
- authentication protocol
- provably secure
- authentication scheme
- security analysis
- security requirements
- formal model
- response time
- key management
- end to end