“A reduction-based proof for authentication and session key security in three-party Kerberos”, JLIS, vol. 4, no. 2, pp. 24–30, Aug. 2026, doi: 10.5281/m1erwt25.