A Reduction-Based Proof for Authentication and Session Key Security in Three-Party Kerberos. JLIS 2026, 4 (2), 24-30. https://doi.org/10.5281/m1erwt25.