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