Common use of Security Model Clause in Contracts

Security Model. We prove our protocols secure in the Universal Composability framework intro- duced in [Can01]. This model is explained in Appendix A.