@misc{cryptoeprint:2006:465, author = {Ran Canetti}, title = {Security and Composition of Cryptographic Protocols: A Tutorial}, howpublished = {Cryptology ePrint Archive, Report 2006/465}, year = {2006}, url = {http://eprint.iacr.org/2006/465}, }