O. V. Bisikalo, V. V. Kovtun, and M. S. Yukhimchuk, “MODELING THE SECURITY POLICY OF THE INFORMATION SYSTEM FOR CRITICAL USE”, RIC, no. 1, Apr. 2019.