“A Reduction-Based Proof for Authentication and Session Key Security in Three-Party Kerberos”. Journal of Law, Information & Science, vol. 4, no. 2, Aug. 2026, pp. 24-30, https://doi.org/10.5281/m1erwt25.