В продуктах Fortinet использовались жёстко закодированные ключи

В продуктах Fortinet использовались жёстко закодированные ключи

В продуктах Fortinet использовались жёстко закодированные ключи

Исследователи в области кибербезопасности из SEC Consult Vulnerability Lab обнаружили, что многие продукты компании Fortinet используют слабое шифрование («XOR» со статическим ключом) и жёстко закодированные ключи для связи с FortiGuard Web Filter, AntiSpam и облачными сервисами AntiVirus.

В ходе гипотетической атаки злоумышленник может использовать эту лазейку для «прослушки» и модификации трафика жертвы.

Для уязвимости, которая получила идентификатор CVE-2018-9195, уже опубликован соответствующий PoC-код — скрипт на Python, способный расшифровать сообщение FortiGuard.

«Облачная коммуникация используется для следующих функций: FortiGuard Web Filter, FortiGuard AntiSpam и FortiGuard AntiVirus. Сообщения шифруются с помощью XOR со статическим ключом», — пишут специалисты в отчёте.

Уязвимость затрагивает версии FortiOS до 6.0.7 или 6.2.0, FortiClient для Windows до 6.2.0 и FortiClient для macOS до 6.2.2.

Fortinet уже подтвердила наличие проблемы безопасности и опубликовала посвящённое ей сообщение:

«Использование жёстко закодированных криптографических ключей допускало атаку "Человек посередине". В результате злоумышленник мог перехватывать и модифицировать информацию».

Нейросеть с сюрпризом: AppSec.Track проверит модели из Hugging Face

ML-модель из публичного репозитория может оказаться не только умной, но и с неприятным сюрпризом внутри. AppSec Solutions добавила в платформу AppSec.Track предварительную проверку моделей из Hugging Face. По заявлению компании, это первое российское решение, которое блокирует потенциально опасные модели до их попадания на машины разработчиков и в CI.

Каждый запрошенный через корпоративный репозиторий файл автоматически отправляется в «карантин». Пока идёт сканирование, разработчик не может скачать модель, зато видит статус проверки и своё место в очереди. После анализа платформа решает, пропускать артефакт в корпоративную инфраструктуру или оставить за дверью.

Модели проверяются без запуска. AppSec.Track разбирает файлы PyTorch, TensorFlow, Keras и другие сериализованные форматы, включая вложенные архивы, и ищет код, способный выполниться при загрузке. Обнаруженным угрозам присваивается уровень критичности.

Проблема особенно актуальна для моделей в формате pickle. Они могут содержать исполняемый код, поэтому одной заражённой загрузки достаточно, чтобы злоумышленник закрепился в среде разработки. Обычный сканер зависимостей здесь способен промахнуться: зловред сидит не в пакете, а внутри самой модели.

В AppSec Solutions считают, что со временем индустрия перейдёт на безопасный формат safetensors. Но пока публичные хабы забиты pickle-файлами, доверять модели только за красивые метрики — так себе стратегия.

Второй рубеж защиты работает на этапе сборки. AppSec.Track формирует SBOM и проверяет библиотеки и зависимости по собственной базе уязвимостей. Она охватывает PyPI, npm, Maven, NuGet, CUDA, Julia и другие экосистемы. Фид можно подключить онлайн или развернуть в закрытом контуре.

Политики безопасности настраиваются один раз и затем применяются автоматически. Сама модель проходит досмотр при входе и повторно не сканируется, а её окружение контролируется при каждой сборке. Получается вполне понятный фейс-контроль: нейросеть сначала показывает, что у неё внутри, и только потом идёт работать.

RSS: Новости на портале Anti-Malware.ru