A reduction-based proof for authentication and session key security in three-party Kerberos. (2026). Journal of Law, Information & Science, 4(2), 24-30. https://doi.org/10.5281/m1erwt25