1 Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Microsoft Research Joint work with Alan Jeffrey, DePaul University Imperial College,
1 Security Andy Gordon, Microsoft Research SFM-01:PA, Bertinoro, July 2001.