1 Московский государственный технический университет им. Н. Э. Баумана, Москва, Россия, 2 Краснодарское высшее военное училище им. генерала армии С. М. Штеменко, Краснодар, Россия, 3 Московский государственный технический университет им. Н. Э. Баумана, Калужский филиал, Калуга, Россия МОДЕЛЬ ВЫЯВЛЕНИЯ УЯЗВИМОСТЕЙ ПРИ НЕСТАБИЛЬНЫХ СЕТЕВЫХ ВЗАИМОДЕЙСТВИЯХ С АВТОМАТИЗИРОВАННОЙ СИСТЕМОЙ В статье дается описание модели выявления уязвимостей при нестабильных сетевых взаимодействиях с автоматизированной системой. Процесс выявления уязвимостей автоматизированных систем в этих условиях обладает такими недостатками, как узкая область применения существующих моделей, низкая оперативность и неполнота контроля реального состояния автоматизированной системы, малая достоверность результатов контроля. На основе теории автоматов построена структурная модель, обеспечивающая выявление уязвимостей автоматизированных систем в рассматриваемых условиях. Описан процесс функционирования модели при нестабильных сетевых взаимодействиях с автоматизированной системой. Построена граф-схема алгоритма, предоставляющего возможность практической реализации предлагаемой модели. Модель выявления уязвимостей, созданная в статье, позволяет обеспечить оперативность, полноту и достоверность контроля реального состояния автоматизированных систем, функционирующих при нестабильных сетевых взаимодействиях; расширить область применения существующих моделей и способов выявления уязвимостей для динамических автоматизированных систем, характеризуемых относительно коротким интервалом времени функционирования; автоматизировать процесс восстановления контроля автоматизированных систем, прерванного под воздействием внешних факторов; адаптивно управлять временем принятия решений; обеспечивать итерационный подход к выявлению уязвимостей автоматизированных систем.Ключевые слова: модель, уязвимость, безопасность, автоматизированная система, нестабильность, сетевое взаимодействие, алгоритм, теория автоматов.
In this article, the subject of research is the sub-process of controlling the assignment of requisites to the electronic document of the process of registration and preparation of completed electronic documents for transfer to archival storage in the electronic document management system. The aim of the research is to develop a method for automatic control of the assignment of details to a completed electronic document. In the course of the study, the requirements of regulatory legal acts of federal executive bodies in the field of office work and archiving were analyzed, in terms of the registration of electronic files and their preparation for transfer to archival storage, scientific publications covering the issues of automation of office work in electronic office systems. A functional model was built for the process of control of registration and preparation for the delivery of electronic files for archival storage using the IDEF 0 methodology in a model for performing the sub-process of assigning details to a completed electronic document of the process of controlling registration and preparation for the delivery of electronic documents using the theory of logic (predicate logic). A method has been developed for automatic control of the assignment of requisites to a completed electronic case, which can be used in the design of advanced electronic document management systems, as well as modernization of existing ones by creating software modules that implement the functions of automatic control of the registration of completed electronic cases. This method makes it possible to increase the efficiency of the process of preparing completed electronic files for transfer to archival storage.
The article presents innovative technologies for evaluating the effectiveness of information security systems (ISS) in the digital educational environment. A model of the dynamics of ISS functioning using Petri nets is developed. Based on this model, a Markov model of ISS functioning, described by the Markov matrix, has been developed. A criterion for evaluating the effectiveness of ISS functioning is defined, for which the probability of timely implementation of ISS information resource protection is used. An analytical model for evaluating the efficiency criterion of ISS functioning is proposed. The results of numerical modeling of the criterion of timely implementation of information resource protection for ISS are presented "Spectrum-Z". The results of a computational experiment to evaluate the efficiency criterion for the functioning of this ISS are presented.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.