Пилот MITR у заказчика: состав поставки, площадка и сроки
Пилот проверяет MITR на действиях агентов заказчика и не останавливает их работы. Первые тридцать суток MITR только наблюдает и пишет квитанции, затем необратимые классы действий по одному переводятся в режим запрета, а заказчик получает отчёт, который его служба безопасности пересчитывает без участия института.
Страница описывает то, что уже работает в институтской установке MITR, и порядок переноса на площадку заказчика. Всё, чего в институтской установке MITR нет и что зависит от площадки, помечено словами «согласуется при обследовании».
Состав поставки
| Что передаётся | Назначение |
|---|---|
| Служба проверки — MITR | Решатель Z3 (открытая разработка Microsoft Research) доказывает допустимость каждого действия по контракту. Для каждого класса действий задаётся режим наблюдения, предупреждения или запрета, а при отказе агент получает перечень нарушенных условий и варианты исправления. |
| Подключение агентов | MITR подключается по протоколу MCP (Model Context Protocol) как обычный сервер, вызовом проверки из кода службы, обёрткой вокруг сервера MCP или одним импортом в агент на Python; способ выбирается при обследовании. |
| Контракты из регламентов заказчика | Институт переводит регламенты в контракты, перевод сверяется обратным пересказом на естественном языке, а каждый контракт подписывает уполномоченный специалист заказчика. Контракты остаются собственностью заказчика. |
| Цепь квитанций и проверщик | На каждое решение пишется квитанция: действие, правило, факты, вердикт и время. Квитанции сцеплены в цепь, а проверщик одним файлом на стандартной библиотеке Python пересчитывает её без установки программ института. |
| Отчёт о периоде наблюдения | Отчёт по квитанциям называет совершённые действия, действия, которые были бы остановлены, правило по каждому из них и долю ложных остановок. |
| Открытые пакеты для инженеров | Пакеты mcp-sentinel, iss-ledger-117 и iss-agent-kit с контрольными суммами инженер заказчика ставит до пилота без сети и видит метод на своих сценариях; решателя и цепи с внешним свидетелем в них нет. |
Требования к площадке
- Сервер или виртуальная машина в контуре заказчика: замеры скорости решения сняты на четырёх ядрах серверного процессора и восьми гигабайтах памяти, а запас под промышленную нагрузку определяется на совместном стенде.
- Графические ускорители и выход в интернет для решения не нужны: решатель работает на процессоре и не обращается к языковой модели, поэтому проверка действия не покидает контура.
- Положение в сети: MITR стоит в разрыве между агентами и целевыми системами, ключи от целевых систем выдаются MITR, а у агента остаётся только право запросить проверку. Сверка журналов систем с цепью квитанций выявляет обращение в обход MITR.
- Операционная система, требования к сертифицированным средствам защиты, место и срок хранения квитанций согласуются при обследовании.
Что предоставляет заказчик
- Перечень агентов, систем, к которым они подключены, и действий, которые они совершают: по нему при обследовании выделяются необратимые действия.
- Регламенты и политики, из которых пишутся контракты, и уполномоченного специалиста, который подписывает каждый контракт после сверки обратным пересказом.
- Наблюдателей фактов, то есть системы заказчика, из которых MITR берёт факты для доказательства: справочник допустимых получателей платежа, перечень разрешённых адресатов, учётную систему. MITR не принимает факты со слов агента, а состав наблюдателей определяется при обследовании.
- Ключи доступа к целевым системам, которые передаются MITR, и площадку по требованиям выше.
- Контактное лицо службы безопасности, которое получает отчёт и пересчитывает цепь квитанций своим инструментом.
Метка времени в закрытом контуре
Цепь квитанций обнаруживает правку, удаление, вставку и перестановку записей, но полную перезапись журнала его владельцем исключает только независимая сторона, которая закрепляет голову цепи. В собственной установке института эту роль выполняет внешний свидетель времени OpenTimestamps: раз в сутки голова цепи получает метку в блокчейне Bitcoin, и посторонний проверяет её открытым клиентом.
В закрытом контуре без выхода в интернет порядок закрепления выбирается при обследовании. Хеш головы цепи переносится на выносной узел вручную и закрепляется там той же меткой OpenTimestamps либо закрепляется у службы меток времени, которую назначает заказчик; до закрепления записи защищены только цепью. В обоих вариантах за пределы контура уходит только хеш, а сами квитанции остаются у заказчика.
Сроки по ступеням
| Ступень | Что происходит | Срок |
|---|---|---|
| Пробная установка | Инженер заказчика ставит открытые пакеты без сети и проверяет механизм на собственных сценариях. | До пилота, по решению заказчика |
| Обследование | Составляется перечень агентов, систем и действий, выделяются необратимые действия, выбираются способ подключения и наблюдатели фактов. | Определяется объёмом контура и закрепляется в договоре |
| Контракты | Регламенты переводятся в контракты, перевод сверяется обратным пересказом, и каждый контракт подписывает уполномоченный специалист заказчика. | Согласуется по итогам обследования |
| Наблюдение | MITR работает в режиме наблюдения: действия агентов не задерживаются, а каждое решение ложится в цепь квитанцией. | Тридцать суток |
| Отчёт | Заказчик получает отчёт по квитанциям и пересчитывает цепь своим инструментом. | По окончании наблюдения |
| Запрет | Классы необратимых действий поочерёдно переводятся в режим запрета после того, как по каждому определена доля ложных остановок. | Поочерёдно, по решению заказчика |
| Эксплуатация | Квитанции становятся материалом внутреннего аудита и проверок регулятора. | По договору сопровождения |
Условия
Цены пилота на сайте нет: её назначают после разговора о составе контура, а не до него. Пилот оформляется договором с хозяйственным обществом, которое получает лицензию на разработки института, и до передачи материалов стороны заключают соглашение о конфиденциальности.
Сертификата соответствия у MITR нет. На значимых объектах критической информационной инфраструктуры применяется установленный порядок подтверждения соответствия программного обеспечения и аттестации системы, и пилот этого порядка не заменяет.
Связь
Разговор о пилоте начинается с письма на info@isslab.ru или сообщения научному руководителю в Telegram @afischuk с темой «Пилот». Устройство MITR, протокол и границы применимости изложены на странице «MITR», а замеры с командами повтора собраны в паспорте проверки ИБ 3.0.
Автономная некоммерческая организация (АНО) «Научно-исследовательский институт (НИИ) системного синтеза», редакция 26 октября 2026 года. Страница носит информационный характер и не является публичной офертой: условия пилота определяются договором.
Канал института об информационной безопасности третьего поколения (ИБ 3.0) — разборы случаев с автономными агентами, обновления норм с датой сверки, новые статьи института: t.me/agiandhuman.