Застосування SAT/SMT розв'язників в задачах кібербезпеки

Скорочена інформація про документ
dc.contributor.advisorСтьопочкіна, Ірина Валеріївна
dc.contributor.authorРішко, Катерина Михайлівна
dc.date.accessioned2023-06-12T08:04:40Z
dc.date.available2023-06-12T08:04:40Z
dc.date.issued2020
dc.description.abstractМетою даної кваліфікаційної роботи є аналіз можливостей SAT/SMT – розв’язників, пошук кола їх можливих застосунків для задач кібербезпеки, зокрема для аналізу захищеності корпоративних мереж та розробка відповідного алгоритму застосування. Об’єктом дослідження є процес забезпечення захищеності мережі. Предметом дослідження є SAT/SMT –розв’язники в задачах кібербезпеки. Результати роботи можуть бути використані на практиці аудиторськими компаніями, які займаються аналізом та налаштуваннями безпеки великих корпоративних мереж. Запропонований алгоритм надає доказове підкріплення несуперечливості та повноти запропонованої політики захисту, і може використовуватись в складі інструментарію для аналізу стану захищеності мережі.uk
dc.description.abstractotherThe object of research is the process of ensuring network security. The subject of the research is SAT / SMT solvers in cybersecurity problems. Research methods are the study of literature sources, available software solutions, conducting an experiment using the software. Audit companies engaged in the analysis and security settings of large corporate networks can use the results of the work in practice. The proposed algorithm provides evidence-based support for the consistency and completeness of the proposed security policy and can be used as part of the tools to analyze the security status of the network.uk
dc.format.extent95 с.uk
dc.identifier.citationРішко, К. М. Застосування SAT/SMT розв'язників в задачах кібербезпеки : магістерська дис. : 125 Кібербезпека / Рішко Катерина Михайлівна. – Київ, 2020. – 95 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/56997
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectSATuk
dc.subjectбезпека мережіuk
dc.subjectSMTuk
dc.subjectлогічні графи атакuk
dc.subjectnetwork securityuk
dc.subjectnetwork attacksuk
dc.subject.udc004.056uk
dc.titleЗастосування SAT/SMT розв'язників в задачах кібербезпекиuk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Rishko_Magistr.pdf
Розмір:
1.8 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (ІБ)
Магістерські роботи