A Modular Security Analysis of the TLS Handshake Protocol.
Paul MorrisseyNigel P. SmartBogdan WarinschiPublished in: IACR Cryptol. ePrint Arch. (2008)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- public key
- security model
- security requirements
- high security
- security properties
- smart card
- key exchange
- secure electronic
- image encryption
- user authentication
- elliptic curve cryptography
- encryption algorithm
- security mechanisms
- encryption scheme
- information systems
- fine grained
- private key
- lightweight
- software engineering
- provably secure
- data sources