1 A Calculus for Cryptographic Protocols Andy Gordon, Microsoft Research Theory Mini-CourseTheory Mini-Course, Michaelmas 2001 University of Cambridge.
