Composition of Secure Multi-Party Protocols: A Comprehensive Study (Lecture Notes in Computer Science, 2815, Band 2815)