Программа для генерации графов атак с применением алгоритмов решения задачи булевой выполнимости
графы атак проблема булевой выполнимости дискретные динамические системы
Программа предназначена для генерации графов, отображающих возможные сценарии атак на компьютерную сеть при известных уязвимостях на ее хостах. Она  реализует работу специальной дискретной динамической системы (ДДС), которая сопоставляется исходной сети и моделирует процессы развития атак в ней. На вход программа получает архив с файлом в формате xml, содержащим информацию о ДДС, и базу данных для СУБД SQLite с перечнем уязвимостей на хостах сети. Визуальный интерфейс позволяет редактировать информацию о ДДС, изменять правила взаимодействия хостов, а также запускать различные режимы генерации графов атак. Выходом программы является граф в формате .dot для визуализации с помощью Graphviz. Программа также позволяет решать задачу расстановки запретов, устраняющих отдельные уязвимости с целью блокирования процесса развития атаки. Работа выполнена при поддержке гранта РНФ № 16-11-10046.
Разработанная программа может применяться для анализа защищенности компьютерных систем по перечню уязвимостей на её узлах. Также программа позволяет идентифицировать наиболее значимые узлы, блокировка уязвимостей на которых позволяет существенно повысить общую устойчивость компьютерной сети к атакам со стороны злоумышленника.
Александр
Семенов
Анатольевич
ведущий научный сотрудник
Кандидат технических наук
Доцент
R-3844-2016
56659912400
7629
РОССИЯ
Игорь
Бычков
Вячеславович
директор
РОССИЯ
20.53.19
Средства обработки и поиска информации
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Дмитрий
Горбатенко
Евгеньевич
Разработка структуры и алгоритмов работы программы, реализация программного кода
РОССИЯ
Александр
Семенов
Анатольевич
Разработка алгоритмов, проверка корректности результатов
РОССИЯ
РНФ
Российский научный фонд
1137799022261
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
ИДСТУ СО РАН
Федеральное государственное бюджетное учреждение науки Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук)
1023801757000
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения