單項選擇題

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

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

微信掃碼免費搜題