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