Security Verification for Authentication and Key Exchange Protocols, Revisited.
Haruki OtaShinsaku KiyomotoToshiaki TanakaPublished in: AINA Workshops (2010)
Keyphrases
- key exchange
- security analysis
- high security
- key distribution
- session key
- authentication protocol
- diffie hellman
- security requirements
- key management
- security properties
- integrity verification
- secure communication
- public key
- key exchange protocol
- smart card
- cryptographic protocols
- private key
- secret key
- security mechanisms
- group communication
- digital signature
- model checking
- elliptic curve
- encryption scheme
- multimodal biometrics
- database systems
- security protocols
- resource constrained
- security issues
- security policies
- ad hoc networks
- information security
- password based authenticated key exchange