Universal Composability
- 現実世界のプロトコルを仮想世界で再現し、Zはそれを識別できない→ UC-secure
- commitment や corrupt(サイドチャネル攻撃=状態の開示) をプロトコルの機能 F に備えたい → trusted third party ないと無理
参考文献
https://www.ieice.org/~isec/event/isec060518/isec06051801.pdf
https://www.ieice.org/~isec/event/isec060518/isec06051801.pdf