Composition of Secure Multi-Party Protocols door Yehuda Lindell