Slide 11 Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Microsoft Research Joint work with Alan Jeffrey, DePaul University Imperial College, March…
Slide 1 Slide 2 1 Security Andy Gordon, Microsoft Research SFM-01:PA, Bertinoro, July 2001 Slide 3 2 Goals of the Course Describe some problems of computer security that…