DMCA
Universally composable security: A new paradigm for cryptographic protocols (2013)
| Citations: | 830 - 39 self |
BibTeX
@TECHREPORT{Canetti13universallycomposable,
author = {Ran Canetti},
title = {Universally composable security: A new paradigm for cryptographic protocols },
institution = {},
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present a general framework for representing cryptographic protocols and analyzing their security. The framework allows specifying the security requirements of practically any cryptographic task in a unified and systematic way. Furthermore, in this framework the security of protocols is preserved under a general protocol composition operation, called universal composition. The proposed framework with its security-preserving composition operation allows for modular design and analysis of complex cryptographic protocols from relatively simple building blocks. Moreover, within this framework, protocols are guaranteed to maintain their security in any context, even in the presence of an unbounded number of arbitrary protocol instances that run concurrently in an adversarially controlled manner. This is a useful guarantee, that allows arguing about the security of cryptographic protocols in complex and unpredictable environments such as modern communication networks.
Keyphrases
cryptographic protocol new paradigm composable security cryptographic task general framework security requirement useful guarantee unpredictable environment simple building block security-preserving composition operation universal composition modern communication network controlled manner general protocol composition operation modular design systematic way arbitrary protocol instance unbounded number complex cryptographic protocol
