International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Universally Composable Security Analysis of TLS---Secure Sessions with Handshake and Record Layer Protocols

Authors:
Sebastian Gajek
Mark Manulis
Jörg Schwenk
Olivier Pereira
Ahmad-Reza Sadeghi
Download:
URL: http://eprint.iacr.org/2008/251
Search ePrint
Search Google
Abstract: We present a security analysis of the complete TLS protocol in the Universal Composable security framework. This analysis evaluates the composition of key exchange functionalities realized by the TLS handshake with the message transmission of the TLS record layer to emulate secure communication sessions and is based on the adaption of the secure channel model from Canetti and Krawczyk to the setting where peer identities are not necessarily known prior the protocol invocation and may remain undisclosed. Our analysis shows that TLS, including the Diffie-Hellman and key transport suites in the uni-directional and bi-directional models of authentication, securely emulates secure communication sessions.
BibTeX
@misc{eprint-2008-17928,
  title={Universally Composable Security Analysis of TLS---Secure Sessions with Handshake and Record Layer Protocols},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / Universal Composability, TLS/SSL, key exchange, secure sessions},
  url={http://eprint.iacr.org/2008/251},
  note={ sebastian.gajek@nds.rub.de 14063 received 2 Jun 2008, last revised 3 Jul 2008},
  author={Sebastian Gajek and Mark Manulis and Jörg Schwenk and Olivier Pereira and Ahmad-Reza Sadeghi},
  year=2008
}