Тарифы и условия подключения шлюза MITR Sentinel & Z3 Gate
Инженерные команды начинают работу с бесплатного открытого набора пакетов под лицензией Apache-2.0 на локальном стенде. По мере роста нагрузки подразделение переходит на промышленный шлюз с решателем Z3 и предвычисленными матрицами отраслевых правил. Каждая поставка включает автономный верификатор хэш-цепочки и готовую отчётность для проверок по Приказу № 117. Оплата принимается картами российских банков и через Систему быстрых платежей с мгновенной выдачей ключей доступа.
5. Тарифная витрина и лицензирование шлюза MITR Sentinel & Z3 Gate
Базовый фильтр контрактов mcp-sentinel 1.1.2 и криптографический журнал iss-ledger-117 1.1.1 распространяются под открытой лицензией Apache-2.0 бесплатно. Для промышленных сетей, где требуется формальная верификация необратимых действий решателем Z3, иммунная петля возврата ядра невыполнимости и пакет отчётности к проверкам регуляторов, действуют коммерческие тарифы Автономной некоммерческой организации «Научно-исследовательский институт системного синтеза».