Aghila, R., K. Nagalakshmi, B. S. Roopan, S. Rajakrishnan, and T. Anandaraj. “A Formal Analysis and Some Properties of Kerberos in Network Security”. Asian Journal of Computer Science and Technology, vol. 1, no. 1, May 2012, pp. 6-10, doi:10.51983/ajcst-2012.1.1.1697.