Исследование и моделирование процесса аутентификации на основе таблиц функционирования. JMMCS. 2025;124(4):71-85. doi:10.26577/JMMCS2024-v124-i4-a6