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