用語説明

汎用的合成可能安全性

Universally Composable Security

2001年にラン・カネッティにより導入された概念。

プロトコルの各部分において安全性が証明されれば,それを組み合わせたプロトコル全体としても安全性を証明することができる,というプロトコルの構成法を示したもの。