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