Composition of Secure Multi-Party Protocols: A Comprehensive Study (LECTURE NOTES IN COMPUTER SCIENCE)