Universally Composable Security Analysis of TLS - Secure Sessions with Handshake and Record Layer Protocols.
Sebastian GajekMark ManulisOlivier PereiraAhmad-Reza SadeghiJörg SchwenkPublished in: IACR Cryptol. ePrint Arch. (2008)
Keyphrases
- security analysis
- key exchange
- authentication protocol
- mutual authentication
- security properties
- security requirements
- secure electronic
- smart card
- public key
- high security
- encryption scheme
- image encryption
- cryptographic protocols
- security model
- user authentication
- key distribution
- encryption algorithm
- authentication scheme
- diffie hellman
- symmetric key
- private key
- security protocols
- elliptic curve cryptography