Composition of Secure Multi-Party Protocols : A Comprehensive Study - Yehuda Lindell ((Lecture Notes in Computer Science))