Цель: предложить подход к формальному структурно-параметрическому синтезу архитектуры распределенного реестра и иных критических систем с учетом нормативных требований к защите и политики доступа на основе модели логического вывода.
Методы: системный анализ, объектно-ориентированный анализ сложных систем, теория графов, теория матриц, теория модульно-кластерных сетей, математическая логика.
Результаты: предложен метод структурно-параметрического синтеза, который обеспечивает описание информационной архитектуры в терминах математической логики и синтез ее защиты в модели логического вывода на основе критериев конструктивной защиты с учетом нормативных требований и декларируемой политики доступа. Научная новизна заключается в применении оригинальной модели логического вывода и метода формального структурно-параметрического синтеза информационной архитектуры с учетом нормативных требований к защите информации с использованием кластерной модели защиты информации с полным перекрытием. Структурно-параметрический синтез обеспечивается формальным описанием требований в терминах кластерного мультиграфа. Точность модели достигается формальным описанием политики доступа кластерами мультиграфа информационной системы и декомпозицией информационных связей на уровни взаимодействия, через которые реализуются функции защиты информации, а также формальным анализом выполнения требований к защите через оценку состояний в машине логического вывода. Строгость оценки выполнения требований соответствует строгости математического аппарата логического вывода. Результаты исследований могут быть использованы для автоматизации процесса разработки конструктивной защиты информационных систем с учетом декларируемой политики доступа, требований нормативных документов и стандартов к конструктивной защите с доказательством их выполнения.
Objective: to propose an approach to the formal structural and parametric synthesis of the architecture of a distributed registry and other critical systems, taking into account regulatory requirements for protection and access policy based on the logical inference model.
Methods: system analysis, object-oriented analysis of complex systems, graph theory, matrix theory, theory of modular cluster networks, mathematical logic.
Results: a method of structural-parametric synthesis is proposed that provides a description of the information architecture in terms of mathematical logic and a synthesis of its protection in a logical inference model based on criteria for constructive protection, taking into account regulatory requirements and the declared access policy. The scientific novelty lies in the application of an original logical inference model and a method of formal structural-parametric synthesis of information architecture, taking into account regulatory requirements for information protection using a cluster information protection model with complete overlap. The structural-parametric synthesis is provided by a formal description of the requirements in terms of a cluster multigraph. The accuracy of the model is achieved by formally describing the access policy by multigraph clusters of the information system and decomposing information links into interaction levels through which information protection functions are implemented, as well as by formally analyzing the fulfillment of protection requirements through an assessment of states in the inference machine. The rigor of the assessment of the fulfillment of requirements corresponds to the rigor of the mathematical apparatus of logical inference. The research results can be used to automate the process of developing constructive protection of information systems, taking into account the declared access policy, the requirements of regulatory documents and standards for constructive protection with evidence of their implementation.