Пресечение многошаговых цепочек атак по матрицам MITRE ATLAS и MITRE ATT&CK на границе вызова
В реальных вторжениях злоумышленники совмещают обман языковых моделей из матрицы MITRE ATLAS с классическим захватом серверов по матрице MITRE ATT&CK. Раздел показывает точные точки на сетевом проводе, где программный заслон разрывает каждый шаг такой цепочки.
Центры мониторинга и группы тестирования на проникновение описывают действия нарушителя по двум взаимосвязанным справочникам: матрице атак на модели машинного обучения MITRE ATLAS и корпоративной матрице MITRE ATT&CK. В комбинированных атаках вторжение начинается с техник AML.T0051 (внедрение инструкций) или AML.T0010 (компрометация цепочки поставок), после чего переходит к эксплуатации веб-служб T1190, перехвату учётных записей T1078 и атакам на службу каталогов T1558.003.
Силовику и руководителю (без жаргона): Перехват «Allow multi-stage adversary kill chain to progress from initial prompt or API entry to lateral movement» до сокета (0 вреда рабочей базе, готовая печать ГОСТ)
Техническому проверяющему (улика): Норма Конкорданс тактик MITRE ATLAS и MITRE ATT&CK с правилами перехвата INDRA и шлюза MITR | Фильтр SEC-ZD-CMP-05 | Свидетель d062f419a73b85c1
Технократу, CTO и VC (математика): Инвариант Z3 (assert (forall ((tactic MitreTechnique)) (=> (simulated_i... | FP = 0,0% | Правило IMMUNE-CMP-D062F419 (mcp-sentinel 1.1.2)1. Схема нормативного контроля и инструментальной приёмки для CMP-MTR-05
Конвейер нормативной верификации по разделу CMP-MTR-05 (MITRE ATLAS & ATT&CK Enterprise, AML.T0043 / T0051 / T0054 / T1190 / T1558): проверка безопасности вызова правилом SEC-ZD-CMP-05 до сокета, фиксация свидетеля d062f419a73b85c1 и выпуск контракта IMMUNE-CMP-D062F419 для шлюза mcp-sentinel.
2. Требования стандарта, безопасный прогон и инвариант решателя для CMP-MTR-05
Системы сбора событий второго поколения фиксируют срабатывание техники уже после того, как вредоносная команда изменила состояние сервера. По правилу SEC-ZD-CMP-05 испытатель проверяет каждую технику непосредственно в точке сетевого вызова, где любая атака вынуждена сформировать конкретный пакет или вызов инструмента.
На испытательном стенде ступени начального проникновения, выполнения кода, повышения привилегий и выгрузки сведений прогоняются против эталонных защищённых обработчиков. Инструментальная сверка подтверждает точки разрыва цепочки и формирует формального свидетеля d062f419a73b85c1 без ложных срабатываний.
Код раздела: CMP-MTR-05 (mitre_atlas_attck_concordance)
Стандарт и профиль: MITRE ATLAS & ATT&CK Enterprise | AML.T0043 / T0051 / T0054 / T1190 / T1558
Нормативная привязка: Конкорданс тактик MITRE ATLAS и MITRE ATT&CK с правилами перехвата INDRA и шлюза MITR
Режим испытаний: Детерминированная проверка (AUTO_SCAN)
Проверочный вызов: POST /api/v1/compliance/mitre-map {"atlas":["AML.T0051","AML.T0054","AML.T0048"],"attck":["T1190","T1078","T1558.003"],"mode":"AUTO_SCAN"}
Предотвращённый ущерб: Allow multi-stage adversary kill chain to progress from initial prompt or API entry to lateral movement
Инвариант решателя Z3: (assert (forall ((tactic MitreTechnique)) (=> (simulated_in_kill_chain tactic) (and (halted_at_wire_gate tactic) (witness_logged tactic)))))
Правило верификатора: SEC-ZD-CMP-05
Хэш свидетеля: d062f419a73b85c1
Скомпилированный фильтр: IMMUNE-CMP-D062F419 (mcp-sentinel 1.1.2)3. Доказательная база приёмки IMMUNE-CMP-D062F419 и квитанция по ГОСТ Р 34.11-2012
Из свидетеля d062f419a73b85c1 в автоматическом режиме компилируется контракт IMMUNE-CMP-D062F419. Сводная таблица позволяет дежурным сменам привязать каждый идентификатор ATLAS и ATT&CK к правилу упреждающей блокировки в перехватчике mcp-sentinel.
4. Ответы на вопросы аудиторов и инспекторов по разделу CMP-MTR-05
Отличие перехвата на границе вызова от разбора инцидентов по журналам событий
Журнал событий сообщает об атаке уже после выполнения команды на узле, тогда как контракт перехватчика отклоняет недопустимый набор аргументов до открытия сетевого соединения.
Защита от перехода нарушителя из диалогового помощника во внутреннюю сеть
Поскольку вызовы инструментов модели и обращения к сетевым службам проверяются единым набором типизированных правил, попытка бокового перемещения пресекается на первом же запрещённом запросе.