Programming Satan’s Computer Ross Anderson and Roger Needham Cambridge University Computer Laboratory

Source URL: www.cl.cam.ac.uk

• Alice and Bob
• Ciphertext
• RSA
• Kerberos
• XTR
• Needham–Schroeder protocol
• Security protocol notation
• Cryptography
• Cryptographic protocols
• Public-key cryptography