Universally Composable Security Analysis of TLS.

Sebastian Gajek Mark Manulis Olivier Pereira Ahmad-Reza Sadeghi Jörg Schwenk

Published in: ProvSec (2008)

Keyphrases

security analysis
smart card
security requirements
public key
security model
image encryption
security properties
high security
encryption scheme
authentication protocol
user authentication
encryption algorithm
mutual authentication
authentication scheme
image quality
lightweight