Пошук академічних текстів

Інформація × Реєстраційний номер 0119U002220, ( 0222U003964  ) Науково-дослідна робота Назва роботи Розробити формальні методи виявлення вразливостей програмних систем Керівник роботи Летичевський Олександр Олександрович, Дата реєстрації 15-02-2019 Організація виконавець Інститут кібернетики імені В. М. Глушкова Національної академії наук України Опис роботи Метою досліджень є створення формальних методів на основі дедуктивних для виявлення вразливостей в програмних системах з метою запобігання можливих кібератак. Додано в НРАТ 2024-12-10 Закрити