Реєстраційний номер
0123U102106,
(
0224U001809
0225U002644
)
Науково-дослідна робота
Назва роботи
Методи та кейс-технології доказового оцінювання кібербезпеки програмовних систем для забезпечення захисту критичної IT-інфраструктури
Керівник роботи
Ілляшенко Олег Олександрович, Кандидат технічних наук
Дата реєстрації
04-04-2023
Організація виконавець
Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут"
Опис роботи
Забезпечення гарантованої повноти і достовірності оцінювання кібербезпеки та функційної безпечності програмовних систем критичного застосування задля зниження ризиків порушення кіберактивів критичних інфраструктур шляхом розроблення та впровадження комплексу формальних і напівформальних методів, моделей, програмних засобів та інформаційної технології оцінювання та верифікації таких систем з урахуванням множини фізичних і проєктних дефектів, закладок і вразливостей апаратних засобів, електронних проєктів FPGA та програмовних платформ, які можуть бути атаковані і призвести до відмови системи
Додано/оновлено в НРАТ
2026-06-23
