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