Type Enforcement

Type Enforcement — механизм контроля доступа по типам, при котором субъекту и объекту назначаются типы безопасности. Процесс обычно работает в домене, а файл, сокет, порт или иной ресурс имеет тип; доступ разрешается только при наличии соответствующего правила политики. В SELinux типы и домены являются основой изоляции служб. Политика может разрешать, например, чтение файла конкретного типа процессу в определённом домене, но запрещать этому же процессу доступ к объектам иных типов. Переход процесса между доменами также определяется правилами Type Enforcement. Модель используется для ограничения привилегий сетевых демонов, веб-приложений, контейнерных процессов и административных утилит на Linux-системах с SELinux. Её эффективность зависит от полноты правил и правильной маркировки объектов. Type Enforcement не тождественен всей политике SELinux: политика может дополнительно включать RBAC и MLS/MCS. Он также отличается от традиционных прав Unix и ACL: последние опираются преимущественно на UID, GID и списки доступа, а TE — на типы и централизованные правила мандатного доступа.