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