Безопасность на основе мандатов (Capabilities) и гранулярная авторизация
Замена неявных привилегий root в Linux на неподделываемые математические мандаты (capabilities) для каждого вызова IPC, страницы памяти и прерывания.
Устранение эскалации привилегий благодаря неподделываемым мандатам
В микроядре с мандатной защитой права хранятся в изолированной памяти ядра. Даже при перехвате сетевого стека злоумышленник физически не может сгенерировать мандат доступа к управлению рулевым приводом.
Гранулярное урезание прав и динамический отзыв ресурсов
При создании дочернего потока родительский процесс передает мандат с урезанными правами. При завершении задачи отзыв базового мандата мгновенно аннулирует все производные привилегии.
- Исключение неявных привилегий: ни один процесс не обладает правами суперпользователя по умолчанию.
- Неподделываемое наследование мандатов: права можно только урезать, эскалация невозможна.
- Атомарный отзыв мандатов: мгновенное освобождение ресурсов без риска зависших указателей.
- Таблицы MMU и MPU формируются напрямую из математически верифицированного дерева мандатов.
Исследовать портфель доменов