Universally Composable Security
2001年にラン・カネッティにより導入された概念。プロトコルの各部分において安全性が証明されれば，それを組み合わせたプロトコル全体としても安全性を証明することができる，というプロトコルの構成法を示したもの。
