International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Ideal Key Derivation and Encryption in Simulation-based Security

Authors:
Ralf Küsters
Max Tuengerthal
Download:
URL: http://eprint.iacr.org/2010/295
Search ePrint
Search Google
Abstract: Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a composable way, in this paper we extend an ideal functionality for symmetric and public-key encryption proposed in previous work by a mechanism for key derivation. We also equip this functionality with message authentication codes (MACs) and ideal nonce generation. We show that the resulting ideal functionality can be realized based on standard cryptographic assumptions and constructions, hence, providing a solid foundation for faithful, composable cryptographic analysis of real-world security protocols. Based on this new functionality, we identify sufficient criteria for protocols to provide universally composable key exchange and secure channels. Since these criteria are based on the new ideal functionality, checking the criteria requires merely information-theoretic or even only syntactical arguments, rather than involved reduction arguments. As a case study, we use our method to analyze two central protocols of the IEEE 802.11i standard, namely the 4-Way Handshake Protocol and the CCM Protocol, proving composable security properties. As to the best of our knowledge, this constitutes the first rigorous cryptographic analysis of these protocols.
BibTeX
@misc{eprint-2010-23196,
  title={Ideal Key Derivation and Encryption in Simulation-based Security},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / simulation-based security},
  url={http://eprint.iacr.org/2010/295},
  note={ tuengerthal@uni-trier.de 14851 received 18 May 2010, last revised 30 Aug 2010},
  author={Ralf Küsters and Max Tuengerthal},
  year=2010
}