Кластерное программное обеспечение автоматизированной информационной системы

Abstract

Предлагается новый подход к созданию кластерной структуры программного обеспечения, обеспечивающей наибольшую защиту от получения злоумышленником контроля над системой поддержки принятия решений, а также высокую устойчивость к порче и взлому. Рассматривается подход к решению проблемы безопасности программного обеспечения информационных систем путём кластеризации его на модули. Показана возможность формального построения таких структур методами теории множеств и теории категорий. Доказано, что множество модулей удовлетворяет всем постулатам и аксиомам теории категорий, следовательно является категорией. Определены условия фрактального представления автоматизированной информационной системы от уровня структурных модулей системы до уровня микрокоманд с выделением конкретных объектов и морфизмов на уровнях иерархии. 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.