:::::: № 5 сентябрь-октябрь 2025 г. :::::: - «Журнал «Защита информации. Инсайд»

УДК 004.2

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

< ... >

Ключевые слова: проактивная защита, cтруктура Крипке, реконфигурации среды выполнения, супервентность

The article describes a method developed by the author for reconfiguring the execution environment of proactive protection of supercomputers, based on the paradigm of temporal logic for checking the truth of decisions made on Kripke structures, characterized by calculating the security indicator of the environment components on sets of tagged data, allowing early detection of new classes of vulnerabilities and counteracting them by automatic reconfiguration of the structure.

Keywords: proactive defense, Kripke structure, runtime reconfigurations, supervenience

Литература

Molyakov A. S. New Security Descriptor Computing Algorithm of Supercomputers / A. Molyakov // Proc. of the 3rd World Conference on Smart Trends in Systems, Security and Sustainability, WorldS4 2019. – 2019. – P. 349–350. – Art. No 8903965. – DOI 10.1109/WorldS4.2019.8903965.
Моляков А. С. СуперЭВМ и операционные системы нового поколения / А. С. Моляков // Информационная безопасность: вчера, сегодня, завтра : сб. статей по мат. Междунар. науч.-практ. конф., Москва, 23 апреля 2019 г. Российский гос. гуманитарный ун-т, Ин-т информационных наук и технологий безопасности ; под ред. В. В. Арутюнова. – Москва: Российский гос. гуманитарный ун-т, 2019. – С. 196–200.
Molyakov A. Science Innovation Review: Developers of Supercomputers in Russia / A. Molyakov // Journal of Electrical and Electronic Engineering. – 2019. – V. 7, № 5. – P. 107–112. – DOI: 10.11648/j.jeee.20190705.12.
Molyakov A. S. Based on Reconfiguring the Supercomputers Runtime Environment New Security Methods / A. Molyakov // Advances in Science, Technology and Engineering Systems. – 2020. – V. 5 (3). – P. 291–298. – DOI: 10.25046/aj050338.
Molyakov A. S. Secured Supercomputer Technologies in Russia: Functional Computing Units Based on Multithread-Stream Cores with Specialized Accelerators / A. S. Molyakov // Lecture Notes in Networks and Systems. – 2023. – V. 448. – P. 559–566. – DOI: 10.1007/978-981-19-1610-6_49.
Моляков, А. С. Маркерное сканирование как новый научный подход в области создания защищенных информационных систем на примере ОС нового поколения Microtek / А. С. Моляков // Проблемы информационной безопасности. Компьютерные системы. – 2016. – № 1. – С. 29–36.