TLS, PACE, and EAC: A cryptographic view at modern key exchange protocols

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-195, Issue , 2012, Pages 71-82

  Brzuska, Christina ^a   Dagdelen, Özgür ^a   Fischlin, Marc ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

IDENTITY CARDS; KEY EXCHANGE PROTOCOLS; SECURE CHANNELS; SECURE COMMUNICATIONS; SECURITY SOLUTIONS; TLS PROTOCOLS; WEB COMMUNICATIONS;

COMMUNICATION; CRYPTOGRAPHY;

INTERNET PROTOCOLS;

EID: 84866986918     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay. Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Secur., 10:107-134, 2011.
2. Jens Bender, Marc Fischlin, and Dennis Kügler. Security Analysis of the PACE KeyAgreement Protocol. In ISC 2009, Volume 5735 of LNCS, pages 33-48. Springer, 2009.
3. Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, and Stephen C. Williams. Less is More: Relaxed yet Composable Security Notions for Key Exchange. In submission, 2011.
4. Christina Brzuska, Marc Fischlin, Bogdan Warinschi, and Stephen C. Williams. Com-posability of bellare-rogaway key exchange protocols. In CCS 2011, pages 51-62. ACM, 2011.
5. Mihir Bellare and Chanathip Namprempre. Authenticated Encryption: Relations among notions and analysis of the generic composition paradigm. In ASI-ACRYPT 2000, Volume 1976 of LNCS, pages 531-545. Springer, 2000.
6. Mihir Bellare, David Pointcheval, and Phillip Rogaway. Authenticated Key Exchange Secure against Dictionary Attacks. In EUROCRYPT 2000, Volume 1807 of LNCS, pages 139-155. Springer, 2000.
7. Mihir Bellare and Phillip Rogaway. Entity Authentication and Key Distribution. In CRYPTO'93, Volume 773 of LNCS, pages 232-249. Springer, 1994.
8. Ran Canetti. Universally Composable Security: A New Paradigm for Cryptographic Protocols. In 42nd FOCS, pages 136-145. IEEE Computer Society, 2001.
9. Ran Canetti and Marc Fischlin. Universally Composable Commitments. In CRYPTO 2001, Volume 2139 of LNCS, pages 19-40. Springer, 2001.
10. Ran Canetti and Hugo Krawczyk. Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. EUROCRYPT 2001, Volume 2045 of LNCS, pages 453-474. Springer, 2001.
11. Véronique Cortier and Bogdan Warinschi. A composable computational soundness notion. In CCS 2011, pages 63-74. ACM, 2011.
12. T. Dierks and C. Allen. The TLS Protocol Version 1.0. In RFC 2246, 1999.
13. T. Dierks and C. Allen. The TLS Protocol Version 1.2. In RFC 4346, 2006.
14. Anupam Datta, Ante Derek, John Mitchell, and Bogdan Warinschi. Computationally Sound Compositional Logic for Key Exchange Protocols. In CSFW 2006, pages 321-334. IEEE Computer Society, 2006.
15. Özgür Dagdelen and Marc Fischlin. Security Analysis of the Extended Access Control Protocol for Machine Readable Travel Documents. In ISC 2010, Volume 6531 of LNCS, pages 54-68. Springer, 2010.
16. Özgür Dagdelen and Marc Fischlin. Sicherheitsanalyse des EAC-Protokolls. Technical report, Project 826, 2010. http://www. personalausweisportal.de/SharedDocs/Downloads/DE/Studie-Kryptographie-Volltext. pdf?-blob=publicationFile.
17. D. Dolev and A. C. Yao. On the security of public key protocols. In SFCS '81, pages 350-357. IEEE Computer Society, 1981.
18. Cédric Fournet, Markulf Kohlweiss, and Pierre-Yves Strub. Modular code-based cryptographic verification. In CCS 2011, pages 341-350. ACM, 2011.
19. Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, and Jörg Schwenk. Universally Composable Security Analysis of TLS. In ProvSec 2008, Volume 5324 of LNCS, pages 313-327. Springer, 2008.
20. Tibor Jager, Florian Kohlar, Sven Schäge, and Jörg Schwenk. A Standard-Model Security Analysis of TLS-DHE. IACR Cryptology ePrint Archive, 2011:219, 2011.
21. Hugo Krawczyk. The Order of Encryption and Authentication for Protecting Communications (or: How Secure Is SSL?). In CRYPTO 2001, Volume 2139 of LNCS, pages 310-331. Springer, 2001.
22. Ralf Küsters and Max Tuengerthal. Composition theorems without pre-established session identifiers. In CCS 2011, pages 41-50. ACM, 2011.
23. Paul Morrissey, Nigel P Smart, and Bogdan Warinschi. The TLS Handshake Protocol: A Modular Analysis. Journal of Cryptology, 23(2):187-223, 2010.
24. Ueli Maurer and Björn Tackmann. On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption. In CCS 2010, pages 505-515. ACM, 2010.
25. Jesper Buus Nielsen. Separating Random Oracle Proofs from Complexity Theoretic Proofs: The Non-committing Encryption Case. In CRYPTO 2002, Volume 2442 of LNCS, pages 111-126. Springer, 2002.
26. Kenneth G. Paterson, Thomas Ristenpart, and Thomas Shrimpton. Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol. In ASIACRYPT 2011, to appear.
27. Kenneth G. Paterson and Gaven J. Watson. Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment. In SCN 08, Volume 5229 of LNCS, pages 340-357. Springer, 2008.
28. Serge Vaudenay. Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS. In EUROCRYPT 2002, Volume 2332 of LNCS, pages 534-546. Springer, 2002.