67、简化通用可组合性框架介绍

简化通用可组合性框架介绍

在密码学领域，安全框架的构建对于保障协议的安全性至关重要。今天我们要探讨的是一种简化的通用可组合性（UC）安全框架，它旨在解决传统UC框架在描述和分析具体协议时面临的复杂性问题。

1. 背景与动机

早期，Canetti以及Pfitzmann和Waidner分别提出了用于反应式进程的安全框架，这些框架都有组合定理，并且基于早期的定义性工作。安全函数评估的初始理想模型定义方法由Goldreich、Micali和Wigderson提出，随后在Goldwasser和Levin、Micali和Rogaway以及Beaver的工作中得到形式化。Canetti提出了第一个在组合下保持安全的定义。

传统UC框架试图以统一的方式捕捉广泛场景的安全性，但存在一些缺陷。例如，Canetti假设存在一个“操作系统”来处理子协议的实例化，并且对异步通信网络建模时，需要详细描述对手对消息的操作，这使得框架变得复杂。

2. 简化UC框架的特点

2.1 与通用UC框架的差异

• 固定数量的参与方 ：在我们的简化模型中，参与方的数量是固定的。
• 静态腐败 ：只考虑静态腐败，即对手必须在执行开始前决定要腐败的参与方。不过，该模型可以很容易地扩展到自适应腐败。
• 简单的运行时间界定 ：提供了简单的方法来界定对手和环境的运行时间。

2.2 优势

• 易于扩展 ：虽然目前只考虑静态