Universally Composable Security
Universally Composable Security
复制标题
DOI：
10.1145/3402457
复制
发表时间：
2020-10-01
影响因子：
2.5
通讯作者：
Canetti, Ran
中科院分区：
文献类型：
--
作者：
Canetti, Ran
这项工作提出了一个描述加密协议和分析其安全性的通用框架。该框架允许以统一和系统的方式指定几乎任何加密任务的安全需求。此外，在该框架中，协议的安全性在称为通用组合的通用组合操作下得到保护。提出的框架具有安全保护组合操作，允许从更简单的构建块对复杂的加密协议进行模块化设计和分析。此外，在这个框架内，协议可以保证在任何上下文中保持其安全性，即使存在无限数量的任意协议会话，这些会话以对抗性控制的方式并发运行。这是一个有用的保证，它允许在复杂和不可预测的环境（如现代通信网络）中讨论加密协议的安全性。
This work presents a general framework for describing 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 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 simpler 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 sessions that run concurrently in an adversarially controlled manner. This is a useful guarantee, which allows arguing about the security of cryptographic protocols in complex and unpredictable environments such as modern communication networks.