A reduction-based proof for authentication and session key security in three-party Kerberos. JLIS. 2026;4(2):24-30. doi:10.5281/m1erwt25