Aghila, R., K. Nagalakshmi, B. S. Roopan, S. Rajakrishnan, and T. Anandaraj. 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.