puter Solutions）。/TE实现通过FreeBSD项目成功移植到了FreeBSD和Darwin操作系统上。SELinux实现了。这种内核包含了以为原型的架构部件。这些提供给了强制执行多种强制访问控制策略许多通常支持，包括了基于、以角色为基础的存取控制和概念的策略。FLASK基于马赫衍生的（Mach-derived）（DTOS）和来自对DTOS的设计和实现有着影响的的一个研究项目——受信马赫（Trusted Mach）。
用户、策略和安全上下文.SELinux用户和角