Composition of Secure Multi-Party Protocols

Book by Yehuda Lindell