A reduction-based proof for authentication and session key security in three-party Kerberos. Journal of Law, Information & Science, [S. l.], v. 4, n. 2, p. 24–30, 2026. DOI: 10.5281/m1erwt25. Disponível em: https://jlisjournal.com/index.php/jlis/article/view/35. Acesso em: 18 sep. 2026.