ИСТИНА

- Объект: Программно-конфигурируемые сети; - Цель: --- Провести обзор и сравнительный анализ существующих средств обнаружения скомпрометированных ПКС коммутаторов; --- Разработать математическую модель ПКС сети для описания динамики изменения счетчиков правил маршрутизации; --- Разработать алгоритм предсказания значения счетчиков правил маршрутизации, основанный на разработанной математической модели, и доказать его корректность; --- Разработать алгоритм обнаружения скомпрометированных ПКС коммутаторов, который будет использовать алгоритм предсказания значений счетчиков правил маршрутизации, и обосновать его корректность. - Методы исследования: При получении основных результатов работы использовались методы моделирования сетей, теории графов и теории потоков; - Результаты: --- Впервые разработана математическая модель, описывающая динамику изменения счетчиков правил маршрутизации в OpenFlow коммутаторах в ПКС, которая инвариантна к набору правил маршрутизации, установленных в OpenFlow коммутаторах, и логике работы приложений контроллера в ПКС; --- В рамках разработанной модели построен алгоритм предсказания значений счетчиков правил маршрутизации, корректность которого доказана; --- На основе алгоритма предсказания значений счетчиков построен алгоритм обнаружения скомпрометированных коммутаторов, для которого экспериментально получены оценки ошибок первого/второго рода и время обнаружения скомпрометированных коммутаторов на топологиях, используемых в сетях операторов связи и центров обработки данных. Показано, что представленный алгоритм обнаружения превосходит известные алгоритмы обнаружения, используемые в существующих системах обнаружения, по ряду практически важных критериев. - Область применения: Информационная безопасность программно-конфигурируемых сетей.