單項選擇題

橘皮書將計算機系統的安全性能由高而低劃分為 A、B、C、D 四大等級。其中：（）可驗證訪問控制（Verified Protection） ，而其特點在于該等級的系統擁有正式的分析及數學式方法可完全證明該系統 的安全策略及安全規(guī)格的完整性與一致性。

A.A級
B.B級
C.C級
D.D級

微信掃碼免費搜題