Аннотации:
Предлагается новый подход к созданию кластерной структуры программного обеспечения, обеспечивающей наибольшую защиту от получения злоумышленником контроля над
системой поддержки принятия решений, а также высокую устойчивость к порче и взлому.
Рассматривается подход к решению проблемы безопасности программного обеспечения информационных систем путём кластеризации его на модули. Показана возможность формального построения таких структур методами теории множеств и теории категорий. Доказано,
что множество модулей удовлетворяет всем постулатам и аксиомам теории категорий, следовательно является категорией. Определены условия фрактального представления автоматизированной информационной системы от уровня структурных модулей системы до уровня микрокоманд с выделением конкретных объектов и морфизмов на уровнях иерархии. In the article, we propose a new approach to creating a clustered software structure that provides
the greatest protection against gaining an attacker's control over system support for decisionmaking,
as well as high resistance to corruption and burglary. An approach is considered to solve
the problem of software information system security by clustering it into modules. The possibility of
formal construction of such structures by methods of set theory and category theory is shown. It is
proved that the set of modules satisfies all postulates and axioms of category theory, hence is a category.
The conditions for the fractal representation of the automated information system from the level
of structural modules of the system to the level of microinstructions with the identification of specific
objects and morphisms at hierarchy levels are determined. In the article, we propose a new approach to creating a clustered software structure that provides
the greatest protection against gaining an attacker's control over system support for decisionmaking,
as well as high resistance to corruption and burglary. An approach is considered to solve
the problem of software information system security by clustering it into modules. The possibility of
formal construction of such structures by methods of set theory and category theory is shown. It is
proved that the set of modules satisfies all postulates and axioms of category theory, hence is a category.
The conditions for the fractal representation of the automated information system from the level
of structural modules of the system to the level of microinstructions with the identification of specific
objects and morphisms at hierarchy levels are determined.
Описание:
Куликов Геннадий Григорьевич, д-р техн. наук, профессор, профессор кафедры автоматизированных систем управления, Уфимский государственный авиационный технический университет, г. Уфа; gennadyg_98@yahoo.com.
Антонов Вячеслав Викторович, д-р техн. наук, профессор, заведующий кафедрой автоматизированных систем управления, Уфимский государственный авиационный технический университет, г. Уфа; antonov.v@bashkortostan.ru.
Конев Константин Анатольевич, канд. техн. наук, доцент, доцент кафедры автоматизированных систем управления, Уфимский государственный авиационный технический университет,
г. Уфа; sireo@rambler.ru. G.G. Kulikov, gennadyg_98@yahoo.com,
V.V. Antonov, antonov.v@bashkortostan.ru,
K.A. Konev, sireo@rambler.ru
Ufa State Aviation Technical University, Ufa, Russian Federation