Ran Canetti. Security and Composition of Cryptographic Protocols: A Tutorial. In Manoj Prabhakaran, Amit Sahai, editors, Secure Multi-Party Computation. Volume 10 of Cryptology and Information Security Series, pages 61-119, IOS Press, 2013. [doi]
Abstract is missing.