A reduction-based proof for authentication and session key security in three-party Kerberos. JLIS [Internet]. 2026 Aug. 24 [cited 2026 Sep. 18];4(2):24-30. Available from: https://jlisjournal.com/index.php/jlis/article/view/35