Paper 2013/025

The IITM Model: a Simple and Expressive Model for Universal Composability

Ralf Kuesters, Max Tuengerthal, and Daniel Rausch

Abstract

The universal composability paradigm allows for the modular design and analysis of cryptographic protocols. It has been widely and successfully used in cryptography. However, devising a coherent yet simple and expressive model for universal composability is, as the history of such models shows, highly non-trivial. For example, several partly severe problems have been pointed out in the literature for the UC model. In this work, we propose a coherent model for universal composability, called the IITM model (``Inexhaustible Interactive Turing Machine''). A main feature of the model is that it is stated without a priori fixing irrelevant details, such as a specific way of addressing of machines by session and party identifiers, a specific modeling of corruption, or a specific protocol hierarchy. In addition, we employ a very general notion of runtime. All reasonable protocols and ideal functionalities should be expressible based on this notion in a direct and natural way, and without tweaks, such as (artificial) padding of messages or (artificially) adding extra messages. Not least because of these features, the model is simple and expressive. Also the general results that we prove, such as composition theorems, hold independently of how such details are fixed for concrete applications. Being inspired by other models for universal composability, in particular the UC model and because of the flexibility and expressivity of the IITM model, conceptually, results formulated in these models directly carry over to the IITM model.

Note: Compared to the previous version, we added a discussion on Canetti's UC model, version July 2013. We provided more examples of how the IITM model can be used. The actual model did not change at all.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Unknown status
Keywords
cryptographic protocolsuniversal composabilitymodular security analysis
Contact author(s)
ralf kuesters @ sec uni-stuttgart de
History
2018-12-21: revised
2013-01-24: received
See all versions
Short URL
https://ia.cr/2013/025
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2013/025,
      author = {Ralf Kuesters and Max Tuengerthal and Daniel Rausch},
      title = {The IITM Model: a Simple and Expressive Model for Universal Composability},
      howpublished = {Cryptology ePrint Archive, Paper 2013/025},
      year = {2013},
      note = {\url{https://eprint.iacr.org/2013/025}},
      url = {https://eprint.iacr.org/2013/025}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.