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.

中文翻译：

---

通用可组合安全性

这项工作提出了一个描述密码协议和分析其安全性的通用框架。该框架允许以统一和系统的方式指定几乎任何加密任务的安全要求。此外，在这个框架中，协议的安全性在通用组合操作下得到保护，称为通用组合。所提出的框架及其安全保护组合操作允许从更简单的构建块对复杂的密码协议进行模块化设计和分析。此外，在这个框架内，即使存在无限数量的以对抗控制方式同时运行的任意协议会话，也可以保证协议在任何情况下都保持其安全性。这是一个有用的保证，