A chat room assignment for teaching network security
A logic of authentication