Composition of Secure Multi-Party Protocols A Comprehensive Study - Lindell, Yehuda; Lindell, Yehuda (Springer Berlin Heidelberg : Imprint: Springer, 2003)