2026. A reduction-based proof for authentication and session key security in three-party Kerberos. Journal of Law, Information & Science. 4, 2 (Aug. 2026), 24–30. DOI:https://doi.org/10.5281/m1erwt25.