安全等級(jí)與標(biāo)準(zhǔn)(2)(編輯修改稿)
2025-02-07 10:26 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 B1級(jí)：還需具有所用安全策略模型的非形式 化描述，實(shí)施了強(qiáng)制性存取控制（ MAC）。 B2級(jí)：基于明確定義的形式化模型，并對(duì)系 統(tǒng)中所有的主體和客體實(shí)施了 DAC和 MAC。 B3級(jí)：能對(duì)系統(tǒng)中所有的主體和客體的訪問 進(jìn)行控制， TCB不會(huì)被非法篡改，且 TCB設(shè)計(jì)要 小巧且結(jié)構(gòu)化以便于分析和測(cè)試其正確性。 ? A： 形式化證明的安全。 A1級(jí)：它的特色在于形式化的頂層設(shè)計(jì)規(guī)格 FTDS、 形式化驗(yàn)證 FTDS與形式化模型的一致性 和由此帶來的更高的可信度。 只能用來衡量單機(jī)系統(tǒng)平臺(tái)的安全級(jí)別。 歐洲 ITSEC 20世紀(jì) 90年代西歐四國(guó)聯(lián)合提出了信息技術(shù)安 全評(píng)估標(biāo)準(zhǔn) ITSEC， 又稱歐洲白皮書，帶動(dòng)
試題試卷相關(guān)推薦
鄂ICP備17016276號(hào)-1