Защита от недопустимых действий автономных агентов
Шлюз MITR служит защитным барьером от ошибочных и опасных действий автономных агентов. MITR встаёт между агентами и информационными системами организации и проверяет каждое действие до исполнения: в режиме запрета действие не пропускается, пока не доказано, что оно допустимо по правилам организации. На каждое решение выдаётся квитанция, которую можно перепроверить без доверия к разработчику.
Организации передают автономным агентам работу с данными, деньгами и программным кодом: агенты — и собственные, и встроенные поставщиками в учётные системы, системы управления отношениями с клиентами (CRM) и почту — ведут переписку, формируют платежи, изменяют базы данных и выпускают программы. По действующему законодательству агент правосубъектностью не обладает, поэтому за каждое его действие отвечает организация — перед клиентами, собственниками и регулятором.
Числа на странице приведены с датой замера и перепроверяются независимо. На 24 октября 2026 года все 20 контрактов и все основные классы действий работают в режиме запрета (на 14 октября 2026 года в режиме запрета работал один класс — удаление файлов).
Для кого
Для организаций, которые доверяют автономным агентам работу с данными, деньгами и кодом: субъектов критической информационной инфраструктуры (КИИ), финансовых организаций, операторов государственных информационных систем и персональных данных, компаний с автономной разработкой программного обеспечения (ПО).
Зачем
Агент не несёт ответственности за свои действия — её несёт организация. Регуляторы требуют контроля и подтверждения, а привычные средства защиты действий агента не видят: он работает внутри периметра с выданными ему правами.
Как
MITR перехватывает каждое действие агента до исполнения, доказывает его допустимость по правилам организации с помощью решателя выполнимости формул в теориях (SMT) и выдаёт квитанцию. В режиме запрета действие, допустимость которого не доказана, не исполняется.
Руководителю организации: действия автономных агентов как вопрос ответственности
Раздел адресован генеральному директору, собственнику бизнеса и членам совета директоров — тем, кто принимает решение о внедрении автономных агентов и отвечает за его последствия.
Агент действует, но не отвечает
Автономный агент правосубъектностью не обладает: участниками правоотношений остаются граждане, организации и государство. Действие агента юридически признаётся действием самой организации, которая несет полную ответственность за последствия любой ошибки (утечки, ошибочного платежа или удаления рабочих записей).
Привычная защита не видит угрозы
Антивирус, межсетевой экран, системы контроля утечек и мониторинга созданы для поиска постороннего: вредоносной программы, взломщика, нарушителя прав доступа. Агент работает внутри периметра с выданными ему правами, и его команды корректны по форме. Главная опасность определяется тем, какое именно внешнее действие вызывает программа и с какими параметрами.
Регулятор спрашивает с организации
Требования к защите информации, к безопасности объектов КИИ и к обработке персональных данных закон возлагает непосредственно на эксплуатирующую организацию. На проверке и в споре ей придётся ответить на три вопроса: кто разрешил действие, на основании какого правила и чем это подтверждается.
MITR отвечает на все три вопроса квитанцией, которая формируется автоматически при каждом действии агента.
Принцип работы
Принцип работы MITR проще всего пояснить на примере электрощитка. Автоматический выключатель размыкает цепь при перегрузке раньше, чем начнётся пожар, и делает это без участия электрика, поэтому о проводке в доме никто не думает. MITR выполняет ту же роль для автономных агентов: он стоит в разрыве между агентом и информационными системами и проверяет каждое действие до его исполнения.
Проверка одного действия занимает единицы миллисекунд. Агент выполняет разрешённые операции без ожидания ручных согласований, а служба безопасности получает проверяемый журнал решений.
Что получает организация
- Предотвращение ущерба вместо его расследования: в режиме запрета действие, допустимость которого не доказана, не исполняется. Защиту начинают с необратимых действий: удаления данных, платежей и отправки информации за периметр.
- Доказательную базу для проверок и споров: вместо пояснительной записки организация предъявляет выборку квитанций: какие действия совершал агент, на основании каких правил они были разрешены, что было остановлено и почему.
- Свободу выбора поставщиков искусственного интеллекта: MITR безразлично, какая модель предложила действие — отечественная или зарубежная, открытая или закрытая: он проверяет само действие. Агентов можно менять, не пересматривая защиту.
- Собственные правила: правило допуска хранится как файл данных, и служба информационной безопасности добавляет или изменяет правила без переписывания программного кода.
Как MITR закрывает риски организации
Каждому риску, который возникает с приходом агентов, соответствуют механизм MITR и проверяемый результат.
| Риск | Механизм MITR | Результат |
|---|---|---|
| Агент совершает необратимое действие: удаляет данные, проводит платёж, отправляет сведения за периметр. | Действие проверяется до исполнения; классы необратимых действий переводятся в режим запрета, и недоказанное действие не исполняется. | Ущерб предотвращается до исполнения команды вместо последующего разбора уже случившегося инцидента. |
| Злоумышленник внедряет указание в документ, письмо или веб-страницу, которые читает агент (непрямая инъекция). | Проверке подлежит сам технический вызов: недопустимая операция блокируется независимо от того, кто её инициировал. | Атака через данные не превращается в действие. |
| Ответственность за действия агента несёт организация, а доказательств их правомерности у неё нет. | Каждое решение оформляется квитанцией: действие, правило, факты, вердикт и время. Квитанции сцеплены в цепь, голова которой ежесуточно закрепляется внешним свидетелем времени. | Организация подтверждает выборкой из журнала, что агент действовал по её правилам. |
| Регулятор требует контроля применения искусственного интеллекта и защиты информации, в том числе на объектах КИИ. | Правила допуска ограничивают передачу защищаемой информации и опасные операции, а журнал регистрирует каждое решение. | Исполнение нормативных требований подтверждается неизменяемыми записями в журнале. |
| Модель поставщика закрыта или размещена за рубежом, а её поведение меняется с каждым обновлением. | Шлюз MITR работает независимо от конкретной языковой модели, поскольку правила применяются непосредственно к параметрам вызываемого действия. | Смена поставщика искусственного интеллекта не требует пересмотра защиты. |
| Согласования тормозят работу: служба информационной безопасности стремится утверждать каждое действие, а бизнес — сохранить скорость. | Проверка занимает единицы миллисекунд и заменяет ручное согласование квитанцией. | Агент работает без ожидания, а служба информационной безопасности получает отчёт вместо очереди заявок. |
Чем ИБ 3.0 отличается от привычной защиты
Безопасность прежних поколений (ИБ 2.0) исходит из допущения, что внутри периметра работают свои сотрудники, а угроза приходит снаружи. Автономный агент снимает это допущение: программа работает внутри защищённого периметра без статуса должностного лица, а её ошибка или скрытая в прочитанном документе команда злоумышленника оформляется как штатный вызов.
| Привычная защита (ИБ 2.0) | MITR (ИБ 3.0) | |
|---|---|---|
| Предмет охраны | Сеть, рабочие места и учётные записи сотрудников. | Действие агента в момент перед исполнением. |
| Что ищет | Постороннего: вредоносную программу, взломщика, нарушителя прав доступа. | Недопустимое действие независимо от того, кто его совершает. |
| Как принимает решение | По признакам, сигнатурам и правам доступа. | Доказательством: решатель SMT сверяет действие с правилами организации. |
| Что остаётся у организации | События и тревоги, которые требуют разбора. | Квитанция на каждое решение, которую перепроверяет сторонний специалист. |
MITR не заменяет антивирус, межсетевой экран и мониторинг: для защиты от внешних угроз они по-прежнему необходимы. MITR закрывает слой, который эти средства не видят по своему устройству, — действия собственных агентов с выданными им правами. Чем большую часть работы выполняют агенты, тем большая доля операций проходит через этот слой.
Подробнее о трёх поколениях защиты — в разборе «ИБ 3.0: что это такое и какую задачу решает».
Подключение агентов по протоколу MCP — с доказательством и квитанцией
Автономные агенты подключаются к инструментам и информационным системам по открытому протоколу MCP (Model Context Protocol). Протокол играет роль розетки единого образца: любой агент подключается к любой системе — базе данных, почте, учётной программе, репозиторию кода. Протокол определяет, как подключиться, но не отвечает на вопрос, допустимо ли конкретное действие.
подключение через MITR = протокол MCP + доказательство допустимости до исполнения + квитанция после него
Для агента подключение через MITR ничем не отличается от обычного: MITR отвечает по протоколу MCP как обычный сервер, а открытый пакет устанавливается как обёртка вокруг уже подключённого MCP-сервера. Для организации у каждого вызова появляются разрешение и след.
Возможности действующей версии
Действующая версия MITR работает непрерывно с 24 апреля 2026 года: через MITR проходят действия кодовых агентов и служебных ботов института. Ниже перечислены возможности, которые действующая версия предоставляет уже сейчас.
Проверка до исполнения
Действия агента — удаление данных, запись файла, отправка сообщения, публикация, остановка службы, выкладка кода — проверяются на соответствие правилам до того, как будут исполнены.
Поэтапное введение защиты
Для каждого класса действий задаётся режим: наблюдение, предупреждение или запрет. Защита вводится поэтапно и не останавливает работу.
Отказ с объяснением
При отказе агент получает перечень нарушенных условий правила и допустимые границы параметров, благодаря чему сразу корректирует план работы.
Правила как данные
Правило допуска хранится в виде файла данных. Новое правило добавляется без изменения программного кода MITR.
Пополнение словаря
Словарь распознаваемых действий пополняется по журналу обращений. Новое правило словаря принимается только после проверки на массиве прежних действий — через тот же MITR и с квитанцией.
Доказательный журнал
Решения сцеплены в цепь квитанций, голова которой ежесуточно закрепляется внешним свидетелем времени, а решения можно перепроверить собственным решателем без участия разработчика.
Независимость от модели
MITR безразлично, какая модель предложила действие: он одинаково проверяет агентов отечественных и зарубежных, открытых и закрытых поставщиков.
Подключение без переделки агента
MITR подключается по протоколу MCP, вызовом по протоколу передачи гипертекста (HTTP) из собственного кода, обёрткой вокруг MCP-сервера или одним импортом в агент на Python. Журнал открытого пакета ведётся по ГОСТ Р 34.11-2012.
Путь внедрения
Внедрение проходит шесть шагов, и ни на одном из них работа агентов не останавливается. Состав поставки, требования к площадке и сроки по ступеням описаны на странице «Пилот MITR у заказчика».
- Пробная установка: специалист разворачивает открытый пакет на своей машине без доступа в сеть и проверяет механизм на собственных сценариях.
- Обследование: составляется перечень агентов, систем, к которым они подключены, и действий, которые они совершают, а необратимые действия выделяются отдельно.
- Правила допуска: политика организации переводится в правила допуска, которые служба информационной безопасности читает и изменяет без изменения программного кода.
- Наблюдение: MITR встраивается в разрыв между агентами и системами в режиме наблюдения: действия не задерживаются, решения записываются. Через 30 суток организация получает отчёт о том, какие действия совершались, какие были бы остановлены, по какому правилу и какова доля ложных остановок.
- Запрет: классы необратимых действий — удаление данных, платежи, отправка информации за периметр — поочерёдно переводятся в режим запрета после того, как по каждому из них определена доля ложных остановок.
- Эксплуатация: квитанции становятся материалом для внутреннего аудита и проверок регулятора. Для значимых объектов КИИ и закрытых сетей MITR разворачивается на собственных серверах заказчика.
Регулирование и КИИ
Применение автономных агентов не освобождает организацию от действующих требований к защите информации. Шлюз MITR обеспечивает соблюдение этих норм на участках, где операцию вместо сотрудника вызывает программный агент.
| Норма | Кому адресована | Чем помогает MITR |
|---|---|---|
| Федеральный закон № 187-ФЗ «О безопасности критической информационной инфраструктуры Российской Федерации» и приказ Федеральной службы по техническому и экспортному контролю (ФСТЭК России) № 239 | Субъектам КИИ: государственным органам, учреждениям и российским юридическим лицам, чьи системы работают в здравоохранении, науке, транспорте, связи, энергетике и топливно-энергетическом комплексе, в области атомной энергии, в банковской сфере и на финансовом рынке, в государственной регистрации прав на недвижимость, а также в оборонной, ракетно-космической, горнодобывающей, металлургической и химической промышленности. | Агент, подключённый к значимому объекту, действует в пределах правил допуска, а каждое его действие регистрируется. Это поддерживает меры по управлению доступом и регистрации событий безопасности. |
| Приказ ФСТЭК России № 117, действует с 01.03.2026 | Операторам государственных информационных систем, государственным органам, унитарным предприятиям и учреждениям. | Приказ впервые устанавливает требования к применению искусственного интеллекта. Правило допуска может запрещать передачу защищаемой информации за пределы системы без оснований, а журнал фиксирует каждое решение. |
| Федеральный закон № 152-ФЗ «О персональных данных» | Операторам персональных данных, то есть практически каждой организации. | Передача персональных сведений агентом во внешний сервис признаётся действием самого оператора. Правило допуска может запрещать её без оснований, а квитанция фиксирует основание. |
| Положения Банка России № 851-П и № 757-П | Кредитным организациям и филиалам иностранных банков (№ 851-П), некредитным финансовым организациям (№ 757-П). | Действия агентов при проведении финансовых операций проверяются до исполнения и регистрируются. |
Перечень сверен с действующими редакциями актов. Проверено: 18.10.2026. Приведённый обзор служит справочным ориентиром по действующим нормам; вывод о применимости требований к конкретной системе делает сама организация. Разбор приказа № 117 — в материале «Приказ ФСТЭК № 117 и искусственный интеллект».
Позиция на рынке
| Что это | Инфраструктурный слой доверия между средой, где действие задумывается, и средой, где оно исполняется. |
| Чем не является | Шлюз MITR работает без второй нейросети-надзирателя и решает задачу, отличную от фильтрации текста, антивирусной проверки или сетевого экрана. |
| Для кого | Для организаций, которые подключают автономных агентов к своим данным, деньгам и коду и отвечают за их действия перед клиентами, собственниками и регулятором. Частному пользователю MITR не требуется: он настраивает своих агентов сам и отвечает только перед собой. |
| Горизонт | К 2027–2030 годам значительная часть информационного взаимодействия перейдёт к интернету агентов: агенты разных поставщиков будут обращаться друг к другу и к системам организаций без участия человека. Чем меньше человека в цепочке, тем важнее доказательство на каждом шаге. |
| Нейтральность | Доказательство не зависит от происхождения модели. MITR одинаково проверяет действия отечественных и зарубежных, открытых и закрытых агентов и требует доверять только правилам, которые установила сама организация. |
| Кто стоит за методом | Автономная некоммерческая организация (АНО) «Научно-исследовательский институт (НИИ) системного синтеза» — автор метода и держатель открытого кода. Поданы две заявки на изобретения: от 01.06.2026 — на способ верификации действий автономного программного агента, от 22.09.2026 — на способ контроля его утверждений; патентов пока нет. |
Рынок средств защиты систем искусственного интеллекта в России уже сформирован, и отличие MITR определяется предметом проверки: проверяется действие, решение принимает решатель, а квитанцию перепроверяет сторонний специалист.
Чем MITR отличается от известных решений
Проверка действия по правилу появилась не в MITR: ей посвящены промышленные системы авторизации и исследовательские работы о защите агентов. Ниже шесть решений, с которыми MITR сравнивают чаще всего, и признаки, по которым они расходятся; каждое описание взято из первоисточника в последнем столбце и сверено 26 октября 2026 года.
| Решение | Что проверяет | Чем принимается решение | Что остаётся после решения | Первоисточник |
|---|---|---|---|---|
| Open Policy Agent (OPA) | Запрос к службе: входные данные в формате JSON (JavaScript Object Notation) и политику на языке Rego. | Движок вычисляет политику над входными данными запроса. | Журнал решений с входными данными, результатом и номером решения; хеш-цепи и внешней метки времени в описании журнала нет. | Документация OPA, раздел о журнале решений |
| Cedar | Запрос на доступ: кто обращается, какое действие совершается, к какому ресурсу и в каком контексте. | Политика на языке Cedar вычисляется движком. Модель языка построена в средстве доказательства Lean, на ней доказаны свойства языка, а для анализа политик есть корректное и полное логическое кодирование. | Решение «разрешить» или «запретить»; квитанции в описании нет. | Cutler и соавторы, конференция OOPSLA (Object-Oriented Programming, Systems, Languages and Applications) 2024, цифровой идентификатор (DOI) 10.1145/3649835; расширенная версия — arXiv:2403.04651 |
| Zelkova | Сами политики доступа облака Amazon Web Services, а не отдельный запрос: например, не открыт ли ресурс для всех. | Политика переводится в формулы, и решатели выполнимости формул в теориях (SMT) проверяют, выполняется ли свойство; за пять лет число вызовов решателя выросло с тысячи до миллиарда в сутки. | Ответ о том, выполняется ли свойство политики. | Backes и соавторы, конференция FMCAD (Formal Methods in Computer-Aided Design) 2018, 10.23919/FMCAD.2018.8602994; Rungta, «A Billion SMT Queries a Day», конференция CAV (Computer Aided Verification) 2022, серия LNCS (Lecture Notes in Computer Science), том 13371, страницы 3–18, 10.1007/978-3-031-13185-1_1 |
| CaMeL | Вызов инструмента агентом с учётом потоков управления и данных, извлечённых из доверенного запроса пользователя. | Недоверенные данные не меняют ход программы, а возможности, привязанные к данным, не дают вывести частные сведения по неразрешённым потокам; политики применяются при вызове инструмента. На наборе AgentDojo решено 77 % задач с доказуемой безопасностью против 84 % без защиты. | В описании работы след решения не указан. | Debenedetti и соавторы, «Defeating Prompt Injections by Design», arXiv:2503.18813, 2025 |
| AgentSpec | Действия агента по правилам предметно-ориентированного языка: триггер, условие и мера принуждения. | Условие правила проверяется во время работы агента с накладными расходами в миллисекунды; правила может составлять и языковая модель. | В описании работы след решения не указан. | Wang, Poskitt и Sun, конференция ICSE (International Conference on Software Engineering) 2026, страницы 2938–2950; arXiv:2503.18666 |
| Progent | Вызов инструмента: имя и аргументы по символьным правилам наименьших привилегий. | Каждый вызов сверяется с политикой детерминированной процедурой. Начальную политику составляет языковая модель, а решатель SMT отличает сужение политики, которое применяется сразу, от расширения, которое требует одобрения. | В описании работы след решения не указан. | Shi и соавторы, arXiv:2504.11703, редакции 2025–2026 годов |
| MITR | Вызов инструмента агентом вместе с фактами, которые MITR берёт из источников, назначенных организацией, а не со слов агента. | Решатель Z3 (открытая разработка Microsoft Research) доказывает допустимость каждого действия по подписанному контракту, без обращения к языковой модели. | Квитанция на каждое решение в цепи с внешней меткой времени; посторонний пересчитывает цепь и повторяет решения своим инструментом. | Паспорт проверки ИБ 3.0, замеры 24–25 октября 2026 года |
Отличие MITR складывается из трёх признаков, взятых вместе. Решатель выносит доказательство по каждому действию, а не по политике целиком, как Zelkova, и не простым вычислением правила, как Open Policy Agent и Cedar. Факты для доказательства MITR берёт из источников, назначенных организацией, и в этом он ближе всего к разделению потоков данных в CaMeL. Каждое решение оставляет квитанцию в цепи с внешней меткой времени, которую посторонний пересчитывает без участия разработчика: журнал решений есть и у Open Policy Agent, но цепи и метки времени в его описании нет.
У сравнения есть и обратная сторона. Модель языка Cedar построена в средстве доказательства Lean, тогда как код MITR формальной проверки ещё не проходил, и собственный компактный решатель с дедуктивной проверкой кода стоит в программе работ. Zelkova и Cedar работают в промышленном масштабе облачного поставщика, а MITR пока держит действия агентов самого института, и первой внешней площадкой станет пилот у заказчика.
Специалисту по безопасности и архитектору: устройство, протокол, проверка
Раздел адресован руководителю службы информационной безопасности, архитектору информационных систем и инженеру по безопасности, которым руководитель направил эту страницу. Здесь изложено, что именно проверяется, как подключается MITR, что он возвращает, как ведёт себя при отказе и где проходят границы его применимости.
Предмет проверки
Шлюз MITR проверяет сам вызов внешнего инструмента: имя операции, её аргументы, адресата и наблюдаемые факты. Рассуждение модели вероятностно и правилами не регулируется; вызов дискретен, поэтому его допустимость решается формально и до исполнения. Контроль одной модели другой отвергнут по построению: надзирающая модель уступает поднадзорной в разнообразии (закон необходимого разнообразия Эшби), а её вердикт сам остаётся вероятностным.
Как принимается решение
- Правило допуска (контракт) — файл данных, в котором заданы посылки, условие безопасности и класс действия. Решатель SMT доказывает, что при переданных фактах действие не нарушает условия безопасности. Если доказательство не получено, действие не допускается.
- Для каждого класса действий задаётся один из трёх режимов: наблюдение (решение записывается, действие не задерживается), предупреждение (агент получает предупреждение) или запрет (недоказанное действие не исполняется).
- Ответ MITR содержит вердикт, а при отказе — перечень нарушенных условий правила и варианты исправления. К ответу прилагается квитанция с порядковым номером и хешем по алгоритму безопасного хеширования SHA (вариант SHA-256), сцепленным с предыдущей записью.
- Словарь распознаваемых действий пополняется по журналу обращений: предложенное правило принимается только после прогона на корпусе прежних действий, через ту же проверку и с квитанцией. Первое такое правило вошло в словарь 25 сентября 2026 года.
Поведение при отказе
- Сбой проверки внутри MITR приводит к отказу: действие не проходит и тогда, когда доказательству помешала ошибка.
- Действие, которого правила не распознали, считается недоказанным. С 24 октября 2026 года для таких действий включён запрет по умолчанию, а само обращение направляется в разбор словаря.
- Недоступность узла проверки для класса в режиме запрета автоматически переводит вызов в состояние отказа; с 24 октября 2026 года закрепление этого правила во всех точках подключения подтверждено прибором проверки обхода.
Цифры замеров
| что измерено | дата |
|---|---|
| Решение по одному действию в прогретом процессе при 20 контрактах в режиме запрета: медиана 1,08 мс (p95 1,96 мс), весь вызов вместе с объяснением — медиана 5,22 мс (на 14.10.2026 при 19 правилах — 0,95 и 4,26 мс; на 02.10.2026 — 0,87 и 4,4 мс). На состязательном наборе из 157 случаев (114 атак и 43 контроля) пропущено атак 0, ложных отказов 0. | 24.10.2026 |
| Повтор решений прибором, рассчитанным на постороннего проверяющего: независимый решатель формата SMT-LIB по текстам правил, сохранённым рядом с цепью; в якоре эпохи 33 совпало 5 079 из 5 079 записей, расхождений 0, неповторимых 0 (на 14.10.2026 — 4 958 из 4 958; на 03.10.2026 — 2 814 из 2 820). | 25.10.2026 |
| Голова цепи квитанций закрепляется раз в сутки внешним свидетелем времени (OpenTimestamps); на 25 октября 2026 года — эпоха 33 (5 079 запечатанных квитанций, общая длина цепи 5 094), целостность сходится; якоря и проверщик выложены открыто. | 25.10.2026 |
| Ядро MITR работает непрерывно с 24 апреля 2026 года. | 24.04.2026 |
| Правило допуска — файл данных: новое правило добавляется правкой файла, без переписывания программы. | 20.09.2026 |
| MITR отвечает по протоколу MCP с авторизацией по токену. | 20.09.2026 |
Замеры сняты на рабочем сервере института. Разброс задержки под промышленной нагрузкой определяется на совместном стенде.
Подключение
- По протоколу MCP: MITR подключается как обычный MCP-сервер, адрес и токен выдаются при внедрении.
- HTTP-вызовом проверки из собственного кода до исполнения действия — с тем же ответом и той же квитанцией.
- Обёрткой вокруг собственного MCP-сервера с помощью открытого пакета mcp-sentinel; быстрый старт приведён ниже.
- Одним импортом в агент на Python с помощью открытого пакета iss-agent-kit.
Где хранятся данные
Пробные пакеты работают целиком на машине специалиста — без сети, без учётной записи и без обращения к серверам института. Размещение MITR при внедрении согласуется с заказчиком; для значимых объектов КИИ и закрытых сетей шлюз разворачивается в инфраструктуре заказчика.
Что предъявляется проверяющему
Проверяющему предъявляется выборка из цепи квитанций: действие, правило, факты, вердикт и время. Целостность цепи пересчитывается открытым проверщиком на стандартной библиотеке Python без установки ПО института. Якоря цепи MITR и проверщик опубликованы на asi5.ru/console/verify/.
Границы применимости
- MITR доказывает допустимость действия при переданных ему фактах; сами факты устанавливают датчики и системы заказчика. Неверное правило приводит к доказанно неверному допуску, поэтому качество защиты определяется качеством правил.
- Модель MITR не проверяет: достоверность текста, качество ответа и закладки в весах находятся вне его предмета.
- Открытые пакеты проверяют вызов сопоставлением с образцом, без решателя; решатель и цепь квитанций с внешним свидетелем времени входят в полную версию MITR.
- Журнал открытого пакета: цепочка обнаруживает правку, удаление, вставку и перестановку записей; чтобы исключить и полную перезапись журнала его владельцем, голову цепочки закрепляют у независимой стороны.
- Сертификата соответствия у MITR нет: для защиты внутренней среды разработки он не требуется, тогда как на значимых объектах КИИ применяется установленный порядок подтверждения соответствия программного обеспечения и аттестации системы.
Внутреннее устройство MITR и его расчётное обоснование (классы необратимости, порядок проверки и инварианты) подробно разобраны на странице «MITR: устройство и обоснование».
Что проверить за час
- Пакет ставится без доступа в сеть, и на нём видно, что разрушающий запрос к базе данных останавливается; команды приведены в быстром старте ниже.
- Собственный MCP-сервер оборачивается пакетом, и видно, какую причину отказа получает агент.
- Журнал пакета пересчитывается проверщиком из одного файла, и правка одной записи нарушает цепь.
- Якоря цепи полной версии MITR пересчитываются по данным, опубликованным на asi5.ru/console/verify/.
- Границы применимости сверяются с задачей организации, а вопросы, на которые страница не отвечает, принимаются через форму связи.
Пробные пакеты: открытый код без регистрации
Три открытых пакета специалист устанавливает у себя за несколько минут, в том числе без доступа в сеть. Каждый файл заверен контрольной суммой, исходный код опубликован.
mcp-sentinel — защита вызовов MCP
Обёртка вокруг MCP-сервера с четырьмя правилами: ограничение файловой системы рабочей папкой, запрет разрушающих запросов к базе данных, перехват утечки секретов и барьер опасных команд оболочки.
681a4db59a1a44e89a2b1386ec4b4f2e1fc23c1025c295b9ebf00fd5d20901eaabb88978db7b34a2f1f56e0eff42bcd1365b9cc0eb17e4a4380f7815e4f1b79eЗамер: проверка контрактов в памяти: медиана 0,015 мс; полный цикл с записью решения в журнал на диск: медиана 22,5 мс (N=100).
Противоречие: агент должен действовать свободно, чтобы решать задачи, — и каждое его действие должно быть гарантированно безопасным. Разрешение по теории решения изобретательских задач (ТРИЗ): мысль модели остаётся свободной, а дискретный вызов инструмента проверяется отдельно от неё: открытый пакет сверяет вызов и ответ инструмента с заданными правилами и возвращает агенту причину отказа, чтобы тот не повторял недопустимое.
iss-ledger-117 — журнал по ГОСТ Р 34.11-2012
Журнал решений, сцепленный хеш-функцией «Стрибог», и проверщик из одного файла для изолированной машины.
8d4ffe60f41ebd377c476f369655aaef5e0ac91858a3d294be37fd1e3100bc876eccef523e24fa60fed29c78866ff12afbab092bd17d51642e00d34dfcea9fa51ff894574407307d33ec99115652bcaec4e53d06189178696d0db1c767a8608fЗамер: журнал проходит контрольные примеры из описания алгоритма «Стрибог» (RFC 6986), а автономный проверщик из одного файла работает на изолированной машине без доступа к сети.
Противоречие: журнал аудита должен иметь доказательную силу для регулятора — и не должен зависеть от закрытых серверов доверия и внешних поставщиков. Разрешение по ТРИЗ: цепочка квитанций по ГОСТ Р 34.11-2012 на чистом Python без зависимостей, целостность пересчитывается однофайловым скриптом на изолированной машине без доверия к разработчику.
Быстрый старт: подключение защиты к собственному MCP-серверу
Уязвимый MCP-сервер не запускается напрямую — он оборачивается в mcp-sentinel wrap, и каждый вызов инструмента проверяется до исполнения, а ответ сервера — до передачи агенту. Пакет написан на чистом Python без сторонних зависимостей и ставится без доступа в сеть.
Установка
# изолированный контур: файлы .whl скачаны заранее, сеть не нужна pip install --no-index --find-links ./wheels mcp-sentinel # с доступом в сеть: только каталог института, PyPI не спрашивается pip install --no-index --find-links https://isslab.ru/wp-content/uploads/iss-utils/index.html mcp-sentinel
Конфигурация клиента
Конфигурация клиента — раздел mcpServers файла настроек агентной среды разработки. Реквизиты базы в образце подставляются из переменных окружения, а их значения выдаёт хранилище секретов организации. Открытый пакет ключей не держит: он стоит обёрткой вокруг сервера, которому реквизиты выдаёт сама организация, а свойство «ключи только у MITR» относится к полной версии MITR при установке у заказчика. Журнал пишется в каталог, доступный процессу агента.
{
"mcpServers": {
"postgres-secure": {
"command": "mcp-sentinel",
"args": ["wrap", "--ledger", "/home/dev/.local/state/mcp-sentinel/audit.jsonl", "--agent", "dev-agent", "--",
"npx", "-y", "@modelcontextprotocol/server-postgres", "postgresql://${PGUSER}:${PGPASSWORD}@localhost/prod"]
}
}
}
Проверка одного вызова из консоли
mcp-sentinel check --tool sql_query \
--args '{"query": "DROP TABLE users;"}'
# BLOCK — разрушающая операция DROP TABLE остановлена, код выхода 2
Агент на Python: подключение одним импортом
Пакет iss-agent-kit оборачивает функцию агента и пишет решение по каждому вызову в журнал по ГОСТ Р 34.11-2012.
from iss_agent_kit import AgentGuard
guard = AgentGuard(ledger_path="audit/agent_gost.jsonl")
result = guard.run(execute_sql, "sql_query", {"query": "SELECT id FROM users WHERE id = 1;"})
7ed0ae9073f512a5cfd71b62904094ca36d0ae2fdb1b4bfff5900d3e368781c30314047404888c29a231fc8710874f15bc2bd75e2b89ba7c4c882da3c792116aКоманды этого раздела исполняются при приёмке каждой версии в чистом окружении без сети — теми же строками, что напечатаны здесь. Журнал по пути --ledger ведётся цепочкой по ГОСТ Р 34.11-2012 и пересчитывается внешним проверщиком без установки чужого программного обеспечения.
С чего начать
Первый шаг — пробная установка у специалиста и разговор о внедрении. Наблюдение в течение 30 суток проходит без остановки работы агентов и завершается отчётом по квитанциям: какие действия совершались, какие были бы остановлены, на основании каких правил и какова доля ложных остановок. Состав поставки, требования к площадке и сроки пилота — на странице «Пилот MITR у заказчика».