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