A Modular Security Analysis of the TLS Handshake Protocol.
Paul MorrisseyNigel P. SmartBogdan WarinschiPublished in: ASIACRYPT (2008)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- smart card
- security model
- security properties
- security requirements
- public key
- high security
- image encryption
- secure electronic
- encryption scheme
- key exchange
- user authentication
- encryption algorithm
- elliptic curve cryptography
- private key
- authentication scheme
- rfid systems
- low cost