ФОРМАЛІЗАЦІЯ ВИБОРУ СПОСОБУ ВІДНОВЛЕННЯ ПОШКОДЖЕНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ВНАСЛІДОК ДІЇ КІБЕРАТАК

Анотація

У статті запропоновані методика формалізованого вибору способу відновлення пошкодженого програмного забезпечення внаслідок дії кібератак. Розробка приведеної методики здійснювалася на підставі аналізу сучасних формальних методів та інструментів, які включають логіко-алгебраїчні підходи щодо аналізу та відновлення програмного забезпечення інформаційно-комунікаційних систем. Для розробки методичних матеріалів, приведених у даній статті, використовувались наукові розробки вітчизняних та закордонних фахівців щодо моделювання та перевірки роботи різних моделей, які на теперішній час застосовуються у сфері кібербезпеки. У якості інструменту щодо формалізації вибору способу відновлення пошкодженого програмного забезпечення були вибрані графові моделі, які дозволяють візуалізувати можливі рішення щодо вибору способу відновлення пошкодженого програмного забезпечення, а також надають можливість спроектувати технологічний процес та призначити оптимальний маршрут відновлення дефектів програмного забезпечення. На підставі аналізу компонентів технологічного процесу відновлення пошкодженого програмного забезпечення, визначені основні елементи, що потребують дослідження та побудований граф відношень, за допомогою якого визначені відношення між елементами одного технологічного об’єкта та відношення між елементами різних об’єктів, що належать до структури технологічного процесу відновлення пошкодженого програмного забезпечення. Сформульовані умови, які підтверджують істинність відношень, визначених за результатами задачі вибору способу відновлення пошкодженого програмного забезпечення внаслідок дії кібератак. Визначені основні властивості елементів, що реалізують структуру технологічного процесу відновлення пошкодженого програмного забезпечення. На підставі відношень та основних властивостей елементів, сформульовані технологічні умови, які дозволяють здійснювати вибір раціонального способу відновлення пошкодженого програмного забезпечення внаслідок дії кібератак. Формалізовані правила, що були розроблені, дозволяють здійснювати побудову алгоритмів вибору раціонального способу відновлення програмного забезпечення а також розробку та впровадження програмних засобів з метою автоматизації складних процесів щодо аналізу та відновлення систем після кібератак.