Формализация и определение корректности протокола информационно-технического взаимодействия (на примере интегрированной системы защиты информации) 

Резюме: В статье рассматривается проблема проектирования протоколов информационно-технического взаимодействия, обладающих признаком корректности. Для этого строится его модель в графовом и аналитическом виде, а также с помощью модифицированной матрицы смежности. Предлагается классификация модулей, участвующих во взаимодействии, а именно следующая: терминальный датчик и исполнитель, вырожденный обработчик, хранилище объектов, промежуточный обработчик. Вводятся пять требований корректности к протоколу: необходимость и достаточность объектов обмена, входная и выходная терминальность модулей, их задействованность. Для каждого из требований дается формальное определение – терминах матрицы смежности, а также алгоритм их проверки. Синтезированные требования и алгоритмы применяются для авторского протокола информационно-технического взаимодействия в интегрированной системе защиты информации. Как результат, доказывается корректность протокола.

Ключевые слова: информационно-техническое взаимодействие, протокол, модель, требования, матрица смежности, информационная безопасность, интегрированная система защиты.

V.V. Pokussov 

Formalization and determination of the protocol correctness for information and technical interaction (on the example of integrated information security system) 

Summary: The article deals with the problem of designing protocols for information and technical interaction, which have a sign of correctness. For this, its model is built in graphical and analytical form, as well as using a modified adjacency matrix. A classification of modules participating in the interaction is proposed, namely the following: terminal sensor and executor, degenerate handler, object storage, intermediate handler. Five correctness requirements for the protocol are introduced: the need and sufficiency of exchange objects, input and output terminality of modules, and their involvement. For each of the requirements, a formal definition is given — in terms of an adjacency matrix, as well as an algorithm for their verification. The synthesized requirements and algorithms are used for the author›s protocol of information and technical interaction in an integrated information security system. As a result, the correctness of the protocol is proved.

Keywords: information technology interaction, protocol, model, requirements, adjacency matrix, information security, integrated security system.

DOI : 10.34219/2078-8320-2021-12-2-55-68