Aghila, R., et al. “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.