Разработка метода верификации прошивки программируемого логического контроллера в пассивном режиме
Аннотация
Выпускная квалификационная работа бакалавра 50 с., 19 рис., 30 источн., 2 прил.
Ключевые слова: ПЛК, ПРОГРАММИРУЕМЫЙ ЛОГИЧЕСКИЙ КОНТРОЛЛЕР, ПРОШИВКА, ВЕРИФИКАЦИЯ, ЭНТРОПИЯ.
Объект исследования – методы верификации прошивок.
Цель работы – создание метода обеспечения неизменности прошивки произвольного программируемого логического контроллера на основе копии сетевого трафика.
Результаты работы: разработан и спроектирован собственный алгоритм верификации прошивки произвольного программируемого логического контроллера.
Выпускная квалификационная работа состоит из 5 глав. В первой главе описывается основная теория и анализ существующих решений. Во второй главе приведено теоретическое описание разработанного алгоритма. В третьей главе описаны структура решения и реализация алгоритма. В четвертой главе описан набор данных для тестирования алгоритма и приведены результаты тестирования. В пятой главе проведены эксперименты на реальных данных и описаны их результаты.
Ключевые слова: ПЛК, ПРОГРАММИРУЕМЫЙ ЛОГИЧЕСКИЙ КОНТРОЛЛЕР, ПРОШИВКА, ВЕРИФИКАЦИЯ, ЭНТРОПИЯ.
Объект исследования – методы верификации прошивок.
Цель работы – создание метода обеспечения неизменности прошивки произвольного программируемого логического контроллера на основе копии сетевого трафика.
Результаты работы: разработан и спроектирован собственный алгоритм верификации прошивки произвольного программируемого логического контроллера.
Выпускная квалификационная работа состоит из 5 глав. В первой главе описывается основная теория и анализ существующих решений. Во второй главе приведено теоретическое описание разработанного алгоритма. В третьей главе описаны структура решения и реализация алгоритма. В четвертой главе описан набор данных для тестирования алгоритма и приведены результаты тестирования. В пятой главе проведены эксперименты на реальных данных и описаны их результаты.