“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.