Застосування SAT/SMT розв'язників в задачах кібербезпеки
Вантажиться...
Дата
2020
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Метою даної кваліфікаційної роботи є аналіз можливостей SAT/SMT –
розв’язників, пошук кола їх можливих застосунків для задач кібербезпеки, зокрема
для аналізу захищеності корпоративних мереж та розробка відповідного алгоритму
застосування.
Об’єктом дослідження є процес забезпечення захищеності мережі.
Предметом дослідження є SAT/SMT –розв’язники в задачах кібербезпеки. Результати роботи можуть бути використані на практиці аудиторськими
компаніями, які займаються аналізом та налаштуваннями безпеки великих
корпоративних мереж. Запропонований алгоритм надає доказове підкріплення
несуперечливості та повноти запропонованої політики захисту, і може
використовуватись в складі інструментарію для аналізу стану захищеності мережі.
Опис
Ключові слова
SAT, безпека мережі, SMT, логічні графи атак, network security, network attacks
Бібліографічний опис
Рішко, К. М. Застосування SAT/SMT розв'язників в задачах кібербезпеки : магістерська дис. : 125 Кібербезпека / Рішко Катерина Михайлівна. – Київ, 2020. – 95 с.