操作系統(tǒng)的安全(文件)
【正文】 全 操作系統(tǒng)的安全設(shè)計(jì) Padula模型目的在于防止信息泄漏，而不是防止主體對客體的非授權(quán)修改。完整級是一個由低到高的序列，其訪問遵循“簡單完整性”和“完整性星”兩條原則。 完整性星原則是 客體的完整性訪問級別支配主體的完整性訪問級別 ，即主體只能從上讀，而不能從下讀。 ④ 對共享資源的分配控制 。 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 操作系統(tǒng)的安全設(shè)計(jì) 安全系統(tǒng)設(shè)計(jì)的一般原則如下： （ 1） 最小權(quán)限原則 （ 2） 完全性原則 （ 3） 經(jīng)濟(jì)性原則 （ 4） 公開性原則 （ 5） 權(quán)限分離原則 （ 6） 最小共同性原則 （ 7） 易用性原則 （ 8） 缺省安全原則 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 操作系統(tǒng)的安全設(shè)計(jì) 安全操作系統(tǒng)的設(shè)計(jì)方法 1． 安全核心方法 安全核心方法運(yùn)用最小權(quán)限原則和完全性原則 ， 集中了操作系統(tǒng)中有關(guān)安全的主要功能 。 2． 層次化方法 層次化設(shè)計(jì)方法是將操作系統(tǒng)分層 ， 至少有硬件 、 核心 、 操作系統(tǒng)和用戶進(jìn)程四層 。 1． 形式化驗(yàn)證 形式化驗(yàn)證就是運(yùn)用程序正確性證明的方法 。 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 操作系統(tǒng)的安全設(shè)計(jì) 2． 鑒定方法 鑒定方法普遍 ， 通常采用以下幾種辦法： （ 1） 需求檢驗(yàn) （ 2） 設(shè)計(jì)和編碼檢驗(yàn) （ 3） 單元和集成測試 。從訪問控制的角度看，一個 I/O指令應(yīng)該包括以下內(nèi)容： I/O設(shè)備名、受影響的介質(zhì)和數(shù)據(jù)傳輸過程中所涉及的存儲緩沖區(qū)的位臵。 從訪問控制的角度看 ， 硬件可以以四種方式支持 I/O操作：可編程的 I/O操作 、 非映射的 I/O操作 、 預(yù)映射 I/O操作和完全映射 I/O操作 。 在這幾種方式下 ， 處理器通知控制器進(jìn)行某種冗長的 I/O操作 ， 處理器與控制器異步地進(jìn)行等價的操作 。 設(shè)備可作為一個可信賴的主體對這個物理存儲區(qū)進(jìn)行讀／寫操作 。 它使得操作系統(tǒng)從繁雜的地址解釋與訪問控制任務(wù)中釋放出來了 。 輸入安全控制 建立輸入安全控制 ， 應(yīng)檢驗(yàn)數(shù)據(jù)的合法性和準(zhǔn)確性 。 （ 3） 應(yīng)提供控制操作說明文件 ， 并匯編成冊 。 收發(fā)字條是用一種打印件 ， 作為記述在部門或地點(diǎn)間傳遞的一組或一批指令源文件的信封 。 當(dāng)應(yīng)用程序?qū)δ骋淮疟P文件提出讀 /寫要求時 ， DOS首先在文件目錄表上查找是否存在該文件 。 1．文件首簇號抹去法 2．在文件子目錄名中加人無法顯示的漢字區(qū)位碼 3．在子目錄名中加入殘缺漢字加密法 。 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 文件目錄與子目錄的加密 文件目錄加密的方法很多，如隱藏法、改名法、移去法、加密法和文件首簇號抹去法等。 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 文件目錄與子目錄的加密 為了文件安全 ， 除了對文件進(jìn)行加密之外 ， 還可以對存放該文件的目錄或其子目錄進(jìn)行加密 。 （ 2） 操作控制：對系統(tǒng)操作人員制定有關(guān)的輸入數(shù)據(jù)操作規(guī)程和工作制度 。 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 I/O設(shè)備的訪問控制方式 1． 輸人安全控制原則 輸入安全控制應(yīng)遵循以下基本原則： （ 1） 自動控制應(yīng)盡可能接近數(shù)據(jù)源 ， 且不得重復(fù)控制 。 它僅提供欲讀／寫信息的存儲區(qū)的虛擬地址 。 3． 預(yù)映射 I/O 預(yù)映射 I/O， 也稱虛擬 I/O， 它允許軟件引用虛擬緩沖區(qū)地址 。 它將一個虛設(shè)備名映射為一個物理設(shè)備名 ， 猶如將一個虛地址映射成一個實(shí)際物理地址 ， 如下所示： 設(shè)備描述符 R W C 物理設(shè)備地址 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 I/O設(shè)備的訪問控制方式 2． 非映射 I/O 非映射 I/O是目前最普遍的一種直接進(jìn)行存儲器訪問的 I/O類型 。 在這種方式下 ， 處理器直接控制向 I/O設(shè)備傳遞或從 I/O設(shè)備接收每一個數(shù)據(jù) 。由于所有的 I/O操作不是向設(shè)備寫數(shù)據(jù)，就是從設(shè)備讀數(shù)據(jù)，所以進(jìn)行 I/O操作的進(jìn)程必須受到對設(shè)備讀／寫兩種控制。 3． 破壞性分析 破壞性分析是把一些對操作系統(tǒng)運(yùn)用熟練和富有設(shè)計(jì)經(jīng)驗(yàn)的專家組織起來 ， 對被測試的操作系統(tǒng)作安全脆弱性分析 ， 專挑弱點(diǎn)和缺點(diǎn) 。 對于大型的系統(tǒng) ， 對那些不是為了接受形式化驗(yàn)證而開發(fā)的系統(tǒng)來說 ， 幾乎難以進(jìn)行驗(yàn)證 。 計(jì)算機(jī)安全技術(shù) 操作系統(tǒng)的安全 操作系統(tǒng)的安全設(shè)計(jì) 對系統(tǒng)安全性的認(rèn)證 安全認(rèn)證 ， 就是對系統(tǒng)的安全性作測試驗(yàn)證 ， 并評價其安全性所達(dá)到的程度的過程 。 安全核心與
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1