Ran Canetti Security and Composition of Multiparty Cryptographic Protocols. 143-202 2000 13 J. Cryptology 1 http://link.springer.de/link/service/journals/00145/bibs/0013001/00130143.html db/journals/joc/joc13.html#Canetti00