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