Skip to content

Учебная работа от миникурса по кибериммунитету

Notifications You must be signed in to change notification settings

AlxLifanov/kumo_lifanov

Repository files navigation

Постановка задачи

КУМО является шлюзом между сетью с высокой целостностью и сетью с низкой целостностью.

Концепция безопасности

Активы и ущербы

Актив Неприемл.событие Ущерб
Внутренняя сеть Пакет снаружи Воздействие на PLC
Обновление фирмвера Пользователь неавторизован Потеря защищенности
Обновление фирмвера Фирмвер неправильно подписан Потеря защищенности

Сценарии работы

  1. Данные получаются от внутреннего источника и кладутся в буферную БД.
  2. Данные запрашиваются снаружи и отдаются запрашивающему.
  3. Пользователь заливает новый фирмвер и обновляет прошивку.

ЦПБ

Цели безопасности

Ц1. Данные из внешней сети во внутреннюю не передаются.

Ц2. Внешний пользователь может только считывать данные, сгенерированные ПЛК.

Ц3. Неавторизованный пользователь не имеет права заливки фирмвера.

Ц4. Не прошедшая проверку прошивка в устройство не шьется.

Предположения безопасности

П1. Устройство не доступно для физического доступа.

П2. Невозможно образование каналов связи между программными компонентами помимо запроектированных (=MILS реализован корректно).

Предварительная архитектура

Положительные сценарии

Обновление и запрос данных

Обновление фирмвера

Отрицательные сценарии

Нарушение целостности буфера данных (нарушение Ц2)

Перехват авторизации (формальное нарушение Ц3)

Политика архитектуры

Компонент Делает Отдает Получает Оценка
PLC Управление рабочим процессом Данные о техпроцессе Подтверждение отправки
Requester Запрашивает данные Команда запроса Данные о техпроцессе
IntEngineer Обновление прошивки Login + FW Нет
ExtEngineer Обновление прошивки Login + FW Нет
Receiver Ведет обмен с ПЛК Подтверждение ПЛК, новые данные в буфер (с превышением) Данные от ПЛК MM
Buffer Хранит события для Requester События Запросы только от Sender MM
Sender Ведет обмен с Requester, обрабатывает только корректные запросы. Требует верификации. Можно выделить входной файрволл отдельно, если внешний протокол обмена сложный. События Только запросы событий SS
TLS Terminator Обеспечивает неперехватываемость данных в канале HTTP HTTPS CM
Input sorter Фильтрация HTTP-посылок Файлы - только запись в Storage, данные авторизации - только запись в Authoriser Raw HTTP SS
Authoriser Проверка авторизованности пользователя Если пользователь имеет право прошивки - машет флажком Checker Login + password SM
FW storage Хранение прошивки-кандидата Прошивку по запросу Checker Прошивку от сортера. Рассматривается как блоб, не парсится. MM
Checker Проверяет подпись прошивки, если корректная - забирает из storage c удалением там и отдает в updater Прошивку в Updater Команду от авторизатора, прошивку из Storage ML

Разметка сделана с точки зрения целостности данных.

About

Учебная работа от миникурса по кибериммунитету

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published