INDRA: доказательство уязвимостей формальным свидетелем и выпуск правил защиты без риска для базы

1. Наглядная схема: почему слепой сканер рискует базой, а INDRA доказывает безопасность

Чтобы устройство проверки считывалось за три секунды и руководителем без профильной подготовки, и ведущим инженером по защите информации, на схеме ниже сопоставлены два подхода. В верхнем ряду обычный сканер шлёт сырые мутации прямо в рабочую базу, тогда как в нижнем ряду фильтр перехватывает опасные команды до сокета и сразу выпускает проверенную заплатку.

2. Пятиступенчатое устройство комплекса (L1–L5): простыми словами и на языке цифр

Каждая проверка проходит пять последовательных шагов внутри локального периметра без обращения к внешним облачным сервисам. Нажмите на любую из пяти ступеней ниже, чтобы увидеть рядом простое объяснение шага и точный приборный артефакт со стенда испытаний.

Модули: ScopeGuard + ScopedRedirectHandler
Белый список: localhost:8888, localhost:8890
Внешний переход HTTP 301/302/307/308 -> ScopeViolationError
Проверка Ворот A: 1,140 с (PASS, код 0)

3. Живой симулятор фильтра нулевого ущерба и компилятора правил (то, чего не дают нейросети)

Разговорная языковая модель строит правдоподобный текст по вероятностям, но физически не может разобрать сетевой запрос фильтром в пути трафика, вычислить хэш-цепочку по ГОСТ Р 34.11-2012 или доказать отсутствие ложных тревог на размеченном стенде. Выберите ниже любой из восьми эталонных классов или подставьте собственный тестовый запрос, чтобы получить детерминированный разбор, формального свидетеля и готовое правило IMMUNE-*.

{
  "status": "VERIFIED_DETERMINISTIC",
  "vector": "INJ-SQL",
  "scan_mode": "AUTO_SCAN",
  "wire_sandbox": {
    "decision": "BLOCKED_DESTRUCTIVE_MUTATION_BEFORE_SOCKET",
    "sandbox_rule": "SEC-ZD-SQL-01",
    "blocked_tokens": ["DROP TABLE", "TRUNCATE"],
    "packets_sent_to_live_db": 0
  },
  "formal_witness": {
    "witness_hash": "85de2412c34d4965",
    "stand_confusion_matrix": "TP=2, FP=0, TN=2, FN=0 (FPR=0.0%)"
  },
  "immune_compiler": {
    "compiled_rule_id": "IMMUNE-SQL-85DE2412",
    "synthesis_elapsed_sec": 0.00001,
    "mcp_sentinel_latency_ms": {
      "in_memory": 0.016,
      "disk_gost_ledger": 22.5
    }
  },
  "ledger_receipt": {
    "algorithm": "GOST R 34.11-2012 (Streebog-256)",
    "passport_digest": "12893d4741eac397918241743e88a613d6b1b1c6309ee77ebe6bb21fbccc9be3"
  }
}

4. Матрица 7 классов активного безопасного зондирования и 1 лабораторного класса

В заводском паспорте испытаний (INDRA_AUDIT_PASSPORT.md) проверяемые классы разделены на семь классов активного автосканера (AUTO_SCAN, по четыре сценария на каждый в выборке N = 28) и один изолированный лабораторный класс (LAB_ONLY, DOS-RSRC). Выделение проверок на истощение ресурсов в отдельный лабораторный режим исключает создание нагрузки при штатном обходе сервиса.

5. Технические и правовые границы применения

Инженерная проверка опирается на строгие границы того, что именно измеряется прибором и какие условия соблюдаются при испытаниях:

• Программный фильтр в пути запроса: песочница нулевого ущерба реализована как программный перехватчик в пути трафика (zero_damage_sandbox.py), разбирающий каждый запрос до передачи байтов в сокет. На эталонном прогоне перехвачено 26 из 26 разрушительных мутаций в test_sandbox_integrity.py и 7 из 7 опасных проб в Воротах B.
• Разделение открытых пакетов и закрытых решателей: пакет indra-core и открытые утилиты (mcp-sentinel 1.1.2, iss-ledger-117 1.1.1, iss-agent-kit 0.1.1) работают на стандартной библиотеке Python под лицензией Apache-2.0 и не содержат закрытых формул решателя Z3.
• Двойной показатель времени фильтрации mcp-sentinel: проверка вызова правилом в пакете mcp-sentinel 1.1.2 занимает около 0,016 миллисекунды в оперативной памяти процесса и около 22,5 миллисекунды при синхронной записи квитанции по ГОСТ Р 34.11-2012 на диск.
• Правовой статус заводского паспорта: формируемый документ INDRA_AUDIT_PASSPORT.md служит внутренним заводским протоколом испытаний на стенде разработчика (ориентиры методики: ГОСТ Р 56939-2024 и Приказ Федеральной службы по техническому и экспортному контролю (далее — ФСТЭК России) от 11 апреля 2025 года № 117, пункты 60–61) и не заменяет государственный сертификат соответствия ФСТЭК России.