Уязвимости в файрволе FortiWeb грозят взломом корпоративной сети

Уязвимости в файрволе FortiWeb грозят взломом корпоративной сети

Уязвимости в файрволе FortiWeb грозят взломом корпоративной сети

Компания Fortinet выпустила первую новогоднюю порцию патчей для своих продуктов, в том числе для файрвола веб-приложений FortiWeb (Web Application Firewall, WAF). В этом продукте закрыто четыре уязвимости, допускающие удаленный эксплойт; их использование потенциально позволяет получить несанкционированный доступ к корпоративной сети.

Новые бреши в FortiWeb обнаружил эксперт Positive Technologies Андрей Медов. Степень их опасности оценена как умеренная: три уязвимости получили по 6,4 балла по шкале CVSS, одна — 5,3 балла.

Согласно бюллетеням Fortinet, почти все устраненные ошибки открывают возможность для удаленного выполнения вредоносного кода:

  • CVE-2020-29015 — «слепая инъекция» SQL-кода в интерфейсе пользователя; позволяет обойти аутентификацию и выполнить любой SQL-запрос или команду через отправку запроса с аутентификационным заголовком, содержащим вредоносный SQL-оператор;
  • CVE-2020-29016 — переполнение буфера в стеке; позволяет без авторизации перезаписать содержимое стека и потенциально выполнить произвольный код, подав запрос с длинным именем сертификата;
  • CVE-2020-29018 — ошибка интерпретации строки формата; позволяет авторизованному пользователю прочесть содержимое памяти и получить конфиденциальные данные с помощью параметра redir; эксплойт грозит несанкционированным исполнением кода или команды;
  • CVE-2020-29019 — переполнение буфера в стеке; позволяет без авторизации вызвать аварийный отказ httpd-демона посредством подачи запроса со специально сформированным заголовком Cookie.

Наличие проблем подтверждено для FortiWeb веток 6.2 и 6.3. Пользователям сетевого экрана рекомендуется установить обновление 6.2.4 или 6.3.8 соответственно.

Engram от DeepSeek: как LLM научили вспоминать, а не пересчитывать

Команда DeepSeek представила новый модуль Engram, который добавляет в трансформеры то, чего им давно не хватало, — встроенную память для быстрого извлечения знаний. Идея проста, но эффектная: вместо того чтобы снова и снова пересчитывать одни и те же локальные паттерны, модель может мгновенно «вспоминать» их через O(1)-lookup и тратить вычисления на более сложные задачи — рассуждения и дальние зависимости.

Engram работает не вместо Mixture-of-Experts (MoE), а вместе с ним. Если MoE отвечает за условные вычисления, то Engram добавляет вторую ось масштабирования — условную память.

По сути, это современная версия классических N-грамм, переосмысленная как параметрическая память, которая хранит устойчивые шаблоны: частые фразы, сущности и другие «статичные» знания.

Технически Engram подключается напрямую к трансформерному бэкбону DeepSeek. Он построен на хешированных таблицах N-грамм с мультихед-хешированием, лёгкой свёрткой по контексту и контекстно-зависимым гейтингом, который решает, сколько памяти «подмешать» в каждую ветку вычислений. Всё это аккуратно встраивается в существующую архитектуру без её радикальной переделки.

 

На больших моделях DeepSeek пошла ещё дальше. В версиях Engram-27B и Engram-40B используется тот же трансформерный бэкбон, что и у MoE-27B, но часть параметров перераспределяется: меньше маршрутизируемых экспертов — больше памяти Engram. В результате Engram-27B получает около 5,7 млрд параметров памяти, а Engram-40B — уже 18,5 млрд, при этом число активируемых параметров и FLOPs остаётся тем же.

Результаты предобучения на 262 млрд токенов выглядят убедительно. При одинаковом числе активных параметров Engram-модели уверенно обходят MoE-базу: снижается задержка, растут показатели на задачах знаний и рассуждений. Например, MMLU увеличивается с 57,4 до 60,4, ARC Challenge — с 70,1 до 73,8, BBH — с 50,9 до 55,9. Улучшения есть и в коде, и в математике — от HumanEval до GSM8K.

 

Отдельно исследователи посмотрели на длинный контекст. После расширения окна до 32 768 токенов с помощью YaRN Engram-27B либо сравнивается с MoE-27B, либо превосходит его  Причём иногда Engram достигает этого при меньших вычислительных затратах.

Механистический анализ тоже говорит в пользу памяти. Варианты с Engram формируют «готовые к предсказанию» представления уже на ранних слоях, а по CKA видно, что неглубокие слои Engram соответствуют гораздо более глубоким слоям MoE. Проще говоря, часть «глубины» модель получает бесплатно, выгружая рутину в память.

Авторы подытоживают: Engram и MoE не конкурируют, а дополняют друг друга. Условные вычисления хорошо справляются с динамикой и рассуждениями, а условная память — с повторяющимися знаниями. Вместе они дают более эффективное использование параметров и вычислений без ломки архитектуры.

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