Aghila, R., Nagalakshmi, K., Roopan, B.S., Rajakrishnan, S. and Anandaraj, T. 2012. A Formal Analysis and Some Properties of Kerberos in Network Security. Asian Journal of Computer Science and Technology . 1, 1 (May 2012), 6–10. DOI:https://doi.org/10.51983/ajcst-2012.1.1.1697.