信息安全原理陳天洲第八章操作系統(tǒng)安全模型課件

第八章操作系統(tǒng)安全模型操作系統(tǒng)安全模型引言安全操作系統(tǒng)操作系統(tǒng)安全保護(hù)安全操作系統(tǒng)的確認(rèn)引言計(jì)算機(jī)病毒的不斷產(chǎn)生和傳播，計(jì)算機(jī)網(wǎng)絡(luò)被不斷非法入侵

保證操作系統(tǒng)安全是保證計(jì)算機(jī)系統(tǒng)安全的重要基礎(chǔ)國(guó)外從20世紀(jì)70年代起就開(kāi)展了建立安全保密準(zhǔn)則的工作安全操作系統(tǒng)操作系統(tǒng)安全等級(jí)安全操作系統(tǒng)的基本特征訪問(wèn)控制模型安全操作系統(tǒng)的設(shè)計(jì)操作系統(tǒng)安全等級(jí)D類C類（C1,C2）B類（B1,B2,B3）A類（A1,A2）

D類

最普通的形式是本地操作系統(tǒng)完全沒(méi)有保護(hù)的網(wǎng)絡(luò)例如早期的DOSB類B1系統(tǒng)使用靈敏度標(biāo)記作為所有強(qiáng)迫訪問(wèn)控制的基礎(chǔ)B2管理員必須使用一個(gè)明確的、文檔化的安全策略模式作為系統(tǒng)的可信任運(yùn)算基礎(chǔ)體制B3具有很強(qiáng)的監(jiān)視委托管理訪問(wèn)能力和抗干擾能力A類A1系統(tǒng)的設(shè)計(jì)者必須按照一個(gè)正式的設(shè)計(jì)規(guī)范來(lái)分析系統(tǒng)。對(duì)系統(tǒng)分析后，設(shè)計(jì)者必須運(yùn)用核對(duì)技術(shù)來(lái)確保系統(tǒng)符合設(shè)計(jì)規(guī)范概念模型概念模型A2A1級(jí)別以外的系統(tǒng)安全操作系統(tǒng)操作系統(tǒng)安全等級(jí)安全操作系統(tǒng)的基本特征訪問(wèn)控制模型安全操作系統(tǒng)的設(shè)計(jì)訪問(wèn)控制模型自主訪問(wèn)控制強(qiáng)制訪問(wèn)控制安全操作系統(tǒng)的設(shè)計(jì)以信息的訪問(wèn)權(quán)為中心分層式的操作系統(tǒng)安全模型引言安全操作系統(tǒng)操作系統(tǒng)安全保護(hù)安全操作系統(tǒng)的確認(rèn)操作系統(tǒng)安全模型引言安全操作系統(tǒng)操作系統(tǒng)安全保護(hù)安全操作系統(tǒng)的確認(rèn)安全操作系統(tǒng)的確認(rèn)1983年，美國(guó)國(guó)防部，可信計(jì)算機(jī)系統(tǒng)評(píng)價(jià)標(biāo)準(zhǔn)（TCSEC）1993年，加拿大，加拿大可信計(jì)算機(jī)產(chǎn)品評(píng)價(jià)準(zhǔn)則（CTCPEC）1993年6月，起草通用準(zhǔn)則（CC）1996年，發(fā)布通用準(zhǔn)則（CC）安全操作系統(tǒng)的確認(rèn)安全操作系統(tǒng)的評(píng)價(jià)方法形式化驗(yàn)證要求檢查設(shè)計(jì)與代碼檢查模塊化與系統(tǒng)測(cè)試攻擊試驗(yàn)