🤖 AUTO AUDIT

Изолированный демонстрационный стенд автономного рефлексивного агента-исполнителя (Go/Java)

Русский 🇷🇺 • English 🇬🇧 • 中文 🇨🇳 • Español 🇪🇸 • Deutsch 🇩🇪 • Italiano 🇮🇹 • العربية 🇸🇦

---

🧭 Общие сведения

[!NOTE] AUTO AUDIT — это программный комплекс, демонстрирующий 100% автономный замкнутый цикл (Sense-Think-Act) выявления, проверки, эксплуатации, автоматического исправления (Self-Healing / Auto-Remediation) и комплаенс-отчетности для критической уязвимости Log4Shell (CVE-2021-44228 / БДУ ФСТЭК:2021-06103).

Стенд развертывает локальное веб-приложение на базе Java Spring Boot, встроенный LDAP TCP Callback Listener и когнитивное ядро Go-агента, принимающего решения в условиях частичной наблюдаемости внешней среды (Partially Observable Markov Decision Process — POMDP).

%%{init: {
  'theme': 'dark',
  'themeVariables': {
    'background': '#0f172a',
    'primaryColor': '#1e293b',
    'primaryTextColor': '#cbd5e1',
    'primaryBorderColor': '#3b82f6',
    'lineColor': '#38bdf8',
    'secondaryColor': '#1e1b4b',
    'tertiaryColor': '#0f172a',
    'edgeLabelBackground': '#0f172a'
  }
}}%%
graph TD
    classDef sense fill:#0284c7,stroke:#0ea5e9,stroke-width:2px,color:#fff;
    classDef think fill:#4f46e5,stroke:#6366f1,stroke-width:2px,color:#fff;
    classDef act fill:#059669,stroke:#10b981,stroke-width:2px,color:#fff;
    classDef target fill:#dc2626,stroke:#ef4444,stroke-width:2px,color:#fff;

    subgraph Sense ["🔍 СЕНСОРНЫЙ АНАЛИЗ (Sense)"]
        A[Внешние отклики / TCP-коллбеки]:::sense --> B(Обновление Базы Знаний):::sense
    end
    subgraph Think ["🧠 КОГНИТИВНОЕ ЯДРО (Think)"]
        B --> C{Вычисление Utility Policy}:::think
        C -->|Рефлексивный вывод| D[Выбор эффектора из реестра]:::think
    end
    subgraph subgraph_Act ["⚡ ИСПОЛНЕНИЕ (Act)"]
        D --> E[Выполнение Tool.Execute]:::act
        E -->|Воздействие| F((Java Spring Boot Target)):::target
        F -.->|Обратный канал OOB| A
    end

---

🛠️ Техническая архитектура и компоненты

Программная структура агента разработана в соответствии с принципами чистой архитектуры (Hexagonal Architecture / Ports and Adapters), SOLID и TDD:

• 📂 cmd/agent/main.go — Точка входа. Управляет жизненным циклом фоновых процессов и координирует запуск горутины агента.
• 📂 internal/ — Основная бизнес-логика когнитивного контура:
  • 🧠 agent/agent.go — Когнитивный контур. Реализует управляющий цикл и решающее правило выбора стратегии Think().
  • 💾 core/model.go — Потокобезопасная база знаний (KnowledgeBase / LTM) на базе sync.RWMutex.
  • 🔌 core/effector.go — Интерфейс Tool для эффекторов.
  • ⚙️ effectors/ — Реестр полиморфных эффекторов (инструментов):
    • 🔍 ToolPortScanner — Разведка сетевого периметра.
    • 🌐 ToolDiscovery — Поиск точек сочленения и векторов ввода (X-Api-Version).
    • 🔬 ToolPayloadGenerator — Синтез сигнатурного вектора JNDI.
    • 🚀 ToolProber — Проверка уязвимости методом внеполосной (Out-of-Band) трассировки.
    • 🛡️ ToolSemanticFuzzer — Обход классификаторов фильтрации (WAF Evasion) с помощью вложенных синтаксических мутаций.
    • 🩹 ToolRemediator — Автоматический патчинг (Self-Healing).
    • 📄 ToolReporter — Формирование отчета в соответствии с ГОСТ Р 56939-2016.
• 📂 pkg/ — Служебные пакеты и библиотеки:
  • 📡 oob/ — Out-of-band слушатели (LDAP и HTTP).
  • ☕ jvm/ — Управление жизненным циклом и перезапуском локальной Java-цели.
• 📂 deployments/ — Конфигурационные файлы для развертывания (Docker, Compose).
• 📂 test/vulnerable-app/ — Уязвимое тестовое Java Spring Boot приложение.

---

🎯 Математический аппарат и спецификация когнитивного цикла (Think-Act Loop)

Принятие решений агентом формализовано как частично наблюдаемый марковский процесс принятия решений (POMDP), описываемый кортежем $\langle S, A, T, R, \Omega, O, \gamma \rangle$:

• $S$ — дискретное пространство скрытых состояний целевой среды (доступность порта, наличие уязвимых параметров, активность WAF, факт компрометации, статус патчинга, наличие комплаенс-отчета).
• $A$ — пространство действий эффекторов (вызов инструментов: port_scanner, discovery, payload_generator, prober, semantic_fuzzer, remediator, reporter, stop).
• $\Omega$ — пространство наблюдений (полученные HTTP-ответы, OOB TCP-коллбеки, записи файловой системы).
• $O(o \mid s', a)$ — функция наблюдений, определяющая вероятность получения отклика $o \in \Omega$.