Mazakov T.Zh., Jomartova Sh.A., Mazakova A.T., and Kulzhanova A.A., “MATHEMATICAL CORRECTNESS OF THE AUTHENTICATION PROCESS BASED ON A FINITE-STATE MACHINE”, MSM, no. 14, Aug. 2026.