橘皮书将计算机系统的安全性能由高而低划分为 A、B、C、D 四大等级。其中：（）可验证访问控制（Verified Protection） ，而其特点在于该等级的系统拥有正式的分析及数学式方法可完全证明该系统 的安全策略及安全规格的完整性与一致性。