Automatic security verification for 3-party authentication and key exchange protocols.
Haruki OtaShinsaku KiyomotoYutaka MiyakePublished in: NSS (2011)
Keyphrases
- key exchange
- security analysis
- high security
- password based authenticated key exchange
- key distribution
- session key
- diffie hellman
- authentication protocol
- security requirements
- secure communication
- security properties
- integrity verification
- key agreement protocol
- public key
- key management
- key exchange protocol
- cryptographic protocols
- encryption scheme
- security mechanisms
- digital signature
- secret key
- smart card
- elliptic curve
- model checking
- standard model
- security protocols
- private key
- group communication
- database design
- security services
- security issues
- security policies
- resource constrained