通用可组合模型(UC模型)是Canetti提出的用于定义协议安全性的框架它是根据真实协议和理想协议模拟不可区分方法来定义协议安全的该模型是典型的基于计算理论进行安全协议设计和分析的形式化方法它解决了并发环境下的协议安全问题这种方法首先对协议安全性进行恰当的定义在孤立模型下进行分析通过组合定理保证协议的组合安全性这样可以采用模块化的思想来设计复杂的安全协议先把协议拆分成若干个子部分针对每个子部分选择或设计具有UC安全性质的实现模块然后利用组合定理把这些模块组合在一起就可以构造出一个复杂的安全协议与一般形式化模型中的安全性定义相比UC安全是更高级别更为严格的安全定义