Программный продукт KasperskyOS (рус. КасперскийОС) от разработчика «Лаборатория Касперского» предназначен для обеспечения надёжной работы ИТ‑систем с повышенными требованиями к информационной безопасности. KasperskyOS является собственной разработкой «Лаборатории Касперского» и не основывается на каком-либо существующем проекте. В микроядре KasperskyOS всего около сотни тысяч строк кода — поверхность атаки минимальна. А за работоспособность в любых ситуациях отвечает строгая изоляция системных компонентов: даже если в каком-то из них произойдет сбой, ОС продолжит выполнять свои критические функции.

Инновационность KasperskyOS заключается в её микроядерной архитектуре с использованием технологий MILS и FLASK, которая делает систему устойчивой к кибератакам по своей природе.

KasperskyOS подходит компаниям крупного и среднего масштаба из критически важных отраслей — энергетики, телекоммуникаций, транспорта, промышленности и госсектора, где недопустимы сбои и утечки данных. Продукт ориентирован на пользователей, ответственных за развёртывание и эксплуатацию защищённых ИТ‑инфраструктур с жёсткими требованиями к кибербезопасности. Решение востребовано у ИТ‑директоров, руководителей служб информационной безопасности и инженеров по защите критически важных объектов.

Функциональные особенности KasperskyOS:

• Микроядерная архитектура с минимизированной кодовой базой. В ядре системы реализовано порядка ста тысяч строк кода, что радикально сокращает потенциальную поверхность атаки. Такая компактность позволяет проводить полный формальный анализ кода, обеспечивая предсказуемость поведения системы и исключая скрытые уязвимости.
• Строгая изоляция компонентов посредством разделения доменов. Каждый процесс выполняется в собственном защищённом контейнере с чётко определёнными правами доступа. Взаимодействие между компонентами регламентируется политиками безопасности, что предотвращает распространение сбоев и компрометацию смежных модулей.
• Реализация модели MILS (Multiple Independent Levels of Security). Система поддерживает одновременную обработку данных различных уровней конфиденциальности в рамках единой платформы. Изолированные разделы гарантируют отсутствие перекрёстных утечек информации между зонами с разными требованиями к защите.
• Применение архитектуры FLASK для гибкого управления доступом. Механизм контекстно‑зависимого контроля прав позволяет настраивать детальные политики безопасности на основе типов объектов, субъектов и операций. Это обеспечивает гранулярное регулирование взаимодействий в системе без потери производительности.
• Гарантированное выполнение критических функций при сбоях. Благодаря модульной структуре и изоляции компонентов отказ отдельного процесса не влияет на работоспособность остальных служб. Система сохраняет базовые функции даже при нарушении целостности периферийных модулей, обеспечивая непрерывность ключевых операций.
• Встроенные механизмы верификации целостности компонентов. На этапе загрузки и в процессе работы выполняется проверка подлинности и неизменности исполняемого кода. Любые попытки модификации блокируются, что исключает запуск неавторизованного ПО и поддерживает доверенную среду исполнения.
• Поддержка формальной верификации безопасности. Архитектура системы позволяет применять математические методы доказательства корректности реализации политик безопасности. Это даёт возможность объективно подтверждать отсутствие уязвимостей и соответствие заданным требованиям защиты на уровне проектирования.

Подробнее: https://os.kaspersky.ru/