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), pp. 6–10. doi: 10.51983/ajcst-2012.1.1.1697.