Security Protocols by B. Crispo, Bruce Christianson & M. Roe