Mazakov T.Zh.; Jomartova Sh.A.; Mazakova A.T.; Kulzhanova A.A. MATHEMATICAL CORRECTNESS OF THE AUTHENTICATION PROCESS BASED ON A FINITE-STATE MACHINE. MSM 2026.