Security and composition of cryptographic protocols: a tutorial (part i (0)

by Ran Canetti
Venue:ACM SIGACT News