Formal Analysis Of The Kerberos Authentication Protocol. by Joe-Kai Tsay