第八章操作系統(tǒng)安全技術(shù)-操作系統(tǒng)安全模型計(jì)算機(jī)系統(tǒng)與網(wǎng)絡(luò)安全技術(shù)操作系統(tǒng)安全模型操作系統(tǒng)安全模型安全模型定義進(jìn)程（一般成為主體）對(duì)特定資源（資源在現(xiàn)代操作系統(tǒng)中常被表示為對(duì)象）可以進(jìn)行何種類型的訪問(wèn)。使用這個(gè)模型時(shí)，首先必須確保主體在訪問(wèn)資源前通過(guò)了認(rèn)證（Authentication）當(dāng)用戶通過(guò)了認(rèn)證后，依據(jù)訪問(wèn)控制策略（AccessControlPolicy）給予用戶訪問(wèn)資源的授權(quán)操作系統(tǒng)也需要對(duì)用戶的認(rèn)證（Authentication）、授權(quán)（Authorization）、訪問(wèn)（Access）等操作進(jìn)行日志記錄（Logging）和審計(jì)（Audit）。操作系統(tǒng)安全技術(shù)操作系統(tǒng)安全模型操作系統(tǒng)安全模型帳號(hào)與用戶標(biāo)識(shí)用戶（User）特權(quán)OSSecurity

認(rèn)證許可權(quán)（Permissions）安全配置（Configuration）審計(jì)&日志（Audit&Log）授權(quán)（Authorization）操作系統(tǒng)安全技術(shù)操作系統(tǒng)權(quán)限管理操作系統(tǒng)安全模型操作系統(tǒng)對(duì)上述所有權(quán)限的管理來(lái)源于引用監(jiān)視器（referencemonitor）這個(gè)概念。1972年，作為承擔(dān)美國(guó)空軍的一項(xiàng)計(jì)算機(jī)安全規(guī)劃研究任務(wù)的研究成果，J.P.Anderson在一份研究報(bào)告中提出。J.P.Anderson還提出了引用驗(yàn)證機(jī)制（referencevalidationmechanism）、安全核（securitykernel）等重要思想。操作系統(tǒng)安全技術(shù)引用監(jiān)控器：是一種訪問(wèn)控制，用于協(xié)調(diào)主體對(duì)客體的訪問(wèn)。因此，引用監(jiān)視器能夠識(shí)別系統(tǒng)中的程序，控制其它程序的運(yùn)行，負(fù)責(zé)控制對(duì)系統(tǒng)資源的訪問(wèn)。引用監(jiān)視器的特點(diǎn)包括：是控制對(duì)設(shè)備、文件、內(nèi)存、進(jìn)程等對(duì)象進(jìn)行訪問(wèn)的一組訪問(wèn)控制策略；是所有訪問(wèn)請(qǐng)求的唯一入口；自身必須是正確和安全的；應(yīng)該足夠小，使得對(duì)引用監(jiān)視器的驗(yàn)證任意進(jìn)行。操作系統(tǒng)安全模型引用監(jiān)視器操作系統(tǒng)安全技術(shù)引用監(jiān)視器操作系統(tǒng)安全模型操作系統(tǒng)安全技術(shù)安全內(nèi)核操作系統(tǒng)安全模型安全內(nèi)核：實(shí)現(xiàn)引用監(jiān)視器概念的可信計(jì)算基的硬件、固件和軟件的集合體，是系統(tǒng)中與安全性的實(shí)現(xiàn)有關(guān)的部分?？尚庞?jì)算基（TCB：TrustedComputingBase）：是一個(gè)計(jì)算機(jī)系統(tǒng)中的全部保護(hù)機(jī)制（包括硬件、固件和軟件），他們結(jié)合起來(lái)為系統(tǒng)提供全局統(tǒng)一的訪問(wèn)控制策略。在某些系統(tǒng)中，TCB等同于安全內(nèi)核，即TCB是操作系統(tǒng)的一部分，是整個(gè)系統(tǒng)安全性的基礎(chǔ)。操作系統(tǒng)安全技術(shù)安全內(nèi)核操作系統(tǒng)安全模型安全內(nèi)核的要求：必須對(duì)所有訪問(wèn)進(jìn)行驗(yàn)證和授權(quán)；自身必須被保護(hù)不被修改；自身的安全性應(yīng)是可證且安全的。安全內(nèi)核包括：引用驗(yàn)證機(jī)制授權(quán)機(jī)制授權(quán)管理機(jī)制等操作系統(tǒng)安全技術(shù)安全內(nèi)核操作系統(tǒng)安全模型J.P.Anderson把引用監(jiān)控器的具體實(shí)現(xiàn)稱為引用驗(yàn)證機(jī)制，它是實(shí)現(xiàn)引用監(jiān)控器思想的硬件和軟件的組合。引用驗(yàn)證機(jī)制需同時(shí)滿足以下3個(gè)原則：必須具有自我保護(hù)能力；必須總是處于活躍狀態(tài)；必須設(shè)計(jì)得足夠小，以利于分析和測(cè)試，從而能夠證明它的實(shí)現(xiàn)是正確的。操作系統(tǒng)安全技術(shù)操作系統(tǒng)安全模型操作系統(tǒng)與安全內(nèi)核操作系統(tǒng)安全技術(shù)操作系統(tǒng)安全技術(shù)操作系統(tǒng)安全模型操作系統(tǒng)