Знайдено документів: 1
Інформація × Реєстраційний номер 0413U002071, Кандидатська дисертація На здобуття к.т.н. Дата захисту 22-03-2013 Статус Запланована Назва роботи Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій Здобувач Неткачова Катерина Ігорівна, Керівник Харченко В'ячеслав Сергійович Опонент Шостак Ігор Володимирович Опонент Потій Ігор Володимирович Опис Об'єкт - процеси оцінки функціональної безпеки інформаційно-керуючих систем. Мета - забезпечення достовірної оцінки функціональної безпеки критичного програмного забезпечення. Вперше розроблено модель оцінки функціональної безпеки інформаційно-керуючих систем, яка базується на сумісному використанні формальних нотацій, операціях фільтрації та конвертації. Удосконалено метод оцінки функціональної безпеки інформаційно-керуючих систем. Дістав подальшого розвитку метод оцінки інформаційної безпеки багатокомпонентних програмних систем. Галузь - інформаційні технології критичного застосування. Дата реєстрації 2013-03-22 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій
1
Неткачова Катерина Ігорівна. Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій : к.т.н. : спец.. 05.13.06 - Інформаційні технології : дата захисту 2013-03-22; Статус: Захищена; Таврійський національний університет імені В.І. Вернадського. – , 0413U002071.
Знайдено документів: 1

Оновлено: 2026-03-18


Роздрукувати цю сторінку