"Composition of Secure Multi-Party Protocols: A Comprehensive Study" - читать интересную книгу автора (Gabriela Lindemann, Daniel Moldt, Mario Paolucci)