通用可組合模型(UC模型)是Canetti提出的用於定義協定安全性的框架，它是根據真實協定和理想協定模擬不可區分方法來定義協定安全的。該模型是典型的基於計算理論進行安全協定設計和分析的形式化方法，它解決了並發環境下的協定安全問題。這種方法首先對協定安全性進行恰當的定義，在孤立模型下進行分析，通過組合定理保證協定的組合安全性。這樣可以採用模組化的思想來設計複雜的安全協定：先把協定拆分成若干個子部分；針對每個子部分，選擇或設計具有UC安全性質的實現模組，然後利用組合定理把這些模組組合在一起就可以構造出一個複雜的安全協定。與一般形式化模型中的安全性定義相比，UC安全是更高級別、更為嚴格的安全定義。
