Russian Federation
Currently, it is an urgent task to increase the efficiency of the system of access to state secrets through the creation and implementation of modern information technologies. The article proposes an approach to the transition from the conceptual model of the system of access to state secrets to the model of finite automata. The scientific novelty of the research lies in the fact that for the first time an approach has been proposed to build an automatic model of the state secret access system based on the IDEF0 model describing the processes occurring in the state secret access system. The practical significance of the research lies in simplifying the construction of a mathematical model of the state secret access system, which can be used to develop an appropriate automated information system.
state secret access system, functional IDEF0-model, finite state machine
1. O nacional'nyh celyah razvitiya Rossiyskoy Federacii na period do 2030 goda : ukaz Prezidenta Rossiyskoy Federacii ot 21 iyulya 2020 goda № 474 - Tekst : neposredstvennyy // Rossiyskaya gazeta. - 2020. - 22 iyulya - S. 1-2.
2. Strategii razvitiya informacionnogo obschestva v Rossiyskoy Federacii na 2017 - 2030 gody: ukaz Prezidenta Rossiyskoy Federacii ot 9 maya 2017 g. № 203. - Tekst : neposredstvennyy // Rossiyskaya gazeta. - 2017. - 15 maya - S. 2-4.
3. O gosudarstvennoy tayne: zakon Rossiyskoy Federacii ot 21.07.1993 № 5485-1 - Tekst : neposredstvennyy // Rossiyskaya gazeta. - 1993. - 21 sent. - S. 1-2.
4. Cheremnyh S.V., Semenov I.O., Ruchkin B.C. Modelirovanie i analiz sistem. I DEF-tehnologii: praktikum. - M.: Finansy i statistika, 2006. - 192 s.
5. Popov A.I. Svobodnye instrumenty proektirovaniya informacionnyh sistem. - Arhangel'sk: SAFU im. M.V. Lomonosova, 2012. - 151 s.
6. Bahtizin V.V. Gluhova L.A. Strukturnyy analiz i modelirovanie v srede CASE-sredstva BPwin: Ucheb. posobie po kursu «Tehnologiya proektirovaniya programm» dlya stud. spec. 40 01 01 «Programmnoe obespechenie informacionnyh tehnologiy». - Mn.: BGUIR, 2002. - 44 s.
7. Cukanova O.A. Metodologiya i instrumentariy modelirovaniya biznesprocessov: uchebnoe posobie - SPb.: Universitet ITMO, 2015. - 100 s.
8. Sovetov B. Ya., Yakovlev S. A. S 56 Modelirovanie sistem: Ucheb. dlya vuzov. - 3-e yud., pererab. i dop. - M.: Vyssh. shk., 2001. - 343 s.
9. Hopkroft Dzhon E., Motvani Radzhiv, Ul'man Dzheffri D., Vvedenie v teoriyu avtomatov, yazykov i vychisleniy. - 2-e izd. / Per. s ang. - M.: Izdatel'skiy dom «Vil'yams», 2002. - 528 s.
