Lecture 9:
Kerberos and IPSEC