Aghila, R.; Nagalakshmi, K.; Roopan, B. S.; Rajakrishnan, S.; Anandaraj, T. A Formal Analysis and Some Properties of Kerberos in Network Security. AJCST 2012, 1, 6-10.