Звіт по науково-дослідній роботі. Ілляшенко Олег Олександрович. Методи та кейс-технології доказового оцінювання кібербезпеки програмовних систем для забезпечення захисту критичної IT-інфраструктури

Реєстраційний номер

0225U002644, (0123U102106) , Науково-дослідна робота

Назва роботи

Методи та кейс-технології доказового оцінювання кібербезпеки програмовних систем для забезпечення захисту критичної IT-інфраструктури

Назва етапу роботи

Теоретичні та експериментальні дослідження з розробки кейс-орієнтованих методів оцінювання, інтерфейсів та технології верифікації ПСКЗ

Керівник роботи

Ілляшенко Олег Олександрович, Кандидат технічних наук

Дата реєстрації

25-03-2025

Організація виконавець

Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут"

Опис роботи

Забезпечення гарантованої повноти і достовірності оцінювання кібербезпеки та функційної безпечності програмовних систем критичного застосування задля зниження ризиків порушення кіберактивів критичних інфраструктур шляхом розроблення та впровадження комплексу формальних і напівформальних методів, моделей, програмних засобів та інформаційної технології оцінювання та верифікації таких систем з урахуванням множини фізичних і проєктних дефектів, закладок і вразливостей апаратних засобів, електронних проєктів FPGA та програмовних платформ, які можуть бути атаковані і призвести до відмови системи

Опис етапу

Розглянуто комплексний підхід до проблеми верифікації та пошуку вразливостей в ПЛІС та апаратному забезпеченні з використанням інсерційного моделювання. Математичний апарат алгебри поведінок дає змогу представити моделі ПЛІС та апаратного забезпечення у зрозумілому алгебраїчному вигляді та використати відповідні методи пошуку вразливостей та формальної верифікації. Розроблено алгебраїчні моделі для опису і виявлення вразливостей в специфікаціях електронних проєктів на різних етапах життєвого циклу, які на відміну від відомих базуються на семантиці інсерційного моделювання мовою алгебри поведінок і дозволяють забезпечити гарантовану повноту верифікації і тестування HDL компонент, електронних проєктів для ПЛІС в цілому, логіки користувацьких додатків ПСКЗ. Розроблено послідовність верифікації із використанням алгебраїчних моделей і методи тестування шляхом генерації тестів із моделей, побудованих на різних етапах розроблення, які на відміну від відомих базуються на автоматичній генерації Message sequence chart, що дозволяє забезпечити гарантовану повноту верифікації і тестування HDL компонент, електронних проєктів для ПЛІС в цілому, логіки користувацьких додатків ПСКЗ. Запропоновано комплекс складових забезпечення кібербезпеки платформ FPGA as a Service, що відповідає сучасним загрозам таких систем та включає регулярне оновлення програмного забезпечення, моніторинг та аналіз безпеки, аудит та тестування на проникнення, відповідність стандартам безпеки та навчання персоналу.

Опис продукції

Автори роботи

Ілляшенко Олег Олександрович
Бабешко Євген Васильович
Летичевський Олександр Олександрович
Одарущенко Олег Миколайович
Тецький Артем Григорович

Додано/оновлено в НРАТ

2026-06-23