操作系統(tǒng)第一章ppt課件(存儲(chǔ)版)
【正文】 個(gè)快照。 例如：標(biāo)簽為 秘密， {國(guó)防部 } 則可以查看 “ 國(guó)防部 ” 的信息，其密級(jí)不超過(guò) “ 秘密 ” 級(jí) ?比如：密級(jí)可以分為： “ 非密 ” 、 “ 秘密 ” 、 “ 機(jī)密 ” 、 “ 絕密 ”等等級(jí)別 小結(jié) 70 Bellamp。LaPadula模型（四） ? 自主安全特性（ ds特性）： 如果（主體 i，客體 j，方式 x）是當(dāng)前訪問(wèn)， 那么，方式 x 一定在訪問(wèn)控制矩陣 M 的元素 Mij 中。城中得知解圍的消息后，遂將 “ 木馬 ” 作為奇異的戰(zhàn)利品拖入城內(nèi)，全城飲酒狂歡。 ? 1997年 5月，由 Visa、 MasterCard等聯(lián)合推出的安全電子交易（ SET）規(guī)范為在 Inter上進(jìn)行安全的電子商務(wù)提供了一個(gè)開(kāi)放的標(biāo)準(zhǔn)。 引用監(jiān)控器 Use_it 采用 BLP模型的引用監(jiān)控器防范特洛伊木馬 小結(jié) 82 引用監(jiān)控器示意圖（ B3安全級(jí)） 引用監(jiān)控器 授權(quán)數(shù)據(jù)庫(kù) 引用監(jiān)控器 審計(jì) 目標(biāo) 客體 目標(biāo) 客體 目標(biāo) 客體 目標(biāo) 客體 目標(biāo) 客體 管理員 （主體） 用戶(hù) （主體） 認(rèn)證 訪問(wèn)控制 小結(jié) 83 標(biāo)準(zhǔn)化機(jī)構(gòu)在信息安全方面的 工作 1 ? 1985年， DoD5200． 28－ STD，即可信計(jì)算機(jī)系統(tǒng)評(píng)測(cè)標(biāo)準(zhǔn)（ TCSEC，美國(guó)國(guó)防部桔皮書(shū)，以下簡(jiǎn)稱(chēng) DOD85評(píng)測(cè)標(biāo)準(zhǔn)） ? 1987年，美國(guó)國(guó)家計(jì)算機(jī)安全中心（ NCSC）為 TCSEC桔皮書(shū)提出可依賴(lài)網(wǎng)絡(luò)解釋?zhuān)?TNI），通常被稱(chēng)作紅皮書(shū) ? 1991年，美國(guó)國(guó)家計(jì)算機(jī)安全中心（ NCSC）為 TCSEC桔皮書(shū)提出可依賴(lài)數(shù)據(jù)庫(kù)管理系統(tǒng)解釋?zhuān)?TDI） ? 1996年在上述標(biāo)準(zhǔn)的基礎(chǔ)上，美國(guó)、加拿大和歐洲聯(lián)合研制 CC（信息技術(shù)安全評(píng)測(cè)公共標(biāo)準(zhǔn)， The Common Criteria for Information Technology Security Evaluation，CC for ITSEC），頒布了 CC ? 此后美國(guó)不再受理以 TCSEC為制度的評(píng)價(jià)申請(qǐng)，所有的安全評(píng)價(jià)都按照 CC進(jìn)行 ? CC將安全功能和安全保證分離 小結(jié) 84 標(biāo)準(zhǔn)化機(jī)構(gòu)在信息安全方面的工作 2 在歐洲，由英國(guó)、荷蘭和法國(guó)帶頭，開(kāi)始聯(lián)合研制歐洲共同的安全評(píng)測(cè)標(biāo)準(zhǔn) ? 1991年頒布?xì)W洲的 ITSEC（信息技術(shù)安全標(biāo)準(zhǔn)）。 可設(shè)置為：國(guó)防部、外交部、財(cái)政部等級(jí) ?例如： ? 當(dāng)一個(gè)用戶(hù)的標(biāo)簽為 秘密， {國(guó)防部 }時(shí) ?他可以查看 “ 國(guó)防部 ” 的不超過(guò) “ 秘密 ” 級(jí)的信息 ? 任何用戶(hù)（包括特權(quán)用戶(hù)），只要標(biāo)簽不符合要求 ?都不能對(duì)指定信息進(jìn)行訪問(wèn) ? 不管他原來(lái)的權(quán)利有多大（比如系統(tǒng)管理員） ? 這為信息的保護(hù)提供了強(qiáng)有力的措施 ? 普通 Linux無(wú)法做到這一點(diǎn) 小結(jié) 75 小結(jié) ? 安全操作系統(tǒng)是安全計(jì)算機(jī)系統(tǒng)的根基 ? 評(píng)價(jià)安全操作系統(tǒng)的標(biāo)準(zhǔn) TCSEC ? 安全模型 BLP（適合 B標(biāo)準(zhǔn)） ? 參考文獻(xiàn)： “ 安全操作系統(tǒng)研究的發(fā)展 ” 石文昌，中國(guó)科學(xué)院軟件研究所 《 計(jì)算機(jī)科學(xué) 》 小結(jié) 76 特洛伊木馬 ?“特洛伊木馬 ” （ trojan horse）簡(jiǎn)稱(chēng) “ 木馬 ” ? 這個(gè)名稱(chēng)來(lái)源于希臘神話 《 木馬屠城記 》 ? 古希臘有大軍圍攻特洛伊城，久久無(wú)法攻下。 星號(hào)安全特性（ *特性）： 在任意狀態(tài)，如果（主體，客體，方式）是當(dāng)前訪問(wèn)，那么一定有： (1)若方式是 a，則： current_level(主體 ) ? level(客體 ) (2)若方式是 w，則： current_level(主體 ) ? level(客體 ) (3)若方式是 r，則： current_level(主體 ) ? level(客體 ) 其中， current_level 表示當(dāng)前安全級(jí)別。以 API的形式提供開(kāi)發(fā)者使用 ? 可以同時(shí)有幾個(gè)不同的庫(kù)操作系統(tǒng) 小結(jié) 55 第一章小結(jié) ? 計(jì)算機(jī)歷史與操作系統(tǒng)發(fā)展過(guò)程 ? 存儲(chǔ)程序式計(jì)算機(jī)與操作系統(tǒng)計(jì)算模式 ? 操作系統(tǒng)類(lèi)型 ? 現(xiàn)代操作系統(tǒng)的基本特征 ? 分析操作系統(tǒng)的幾種觀點(diǎn) ? 操作系統(tǒng)的用戶(hù)界面 ? 操作系統(tǒng)的發(fā)展體現(xiàn)了計(jì)算機(jī)硬件技術(shù)與軟件技術(shù)的發(fā)展 ? 課外思考題： ? 普適計(jì)算 ? 針對(duì)普適計(jì)算，操作系統(tǒng)應(yīng)如何發(fā)展 小結(jié) 56 PC機(jī)結(jié)構(gòu)圖一 小結(jié) 57 PC機(jī)結(jié)構(gòu)圖二 小結(jié) 58 系統(tǒng)軟件和操作系統(tǒng) 硬件 軟件 硬件接口 操作系統(tǒng) 操作系統(tǒng)接口 其他系統(tǒng)軟件 應(yīng)用程序接口 應(yīng)用軟件 資源抽象 資源共享 小結(jié) 59 多道批處理系統(tǒng) 分時(shí)系統(tǒng) 網(wǎng)絡(luò)系統(tǒng) 實(shí)時(shí)系統(tǒng) 個(gè)人計(jì)算機(jī)和 工作站系統(tǒng) 現(xiàn)代操作系統(tǒng) 系統(tǒng)軟件 人 機(jī)界面 客戶(hù) 服務(wù)器模式 協(xié)議 調(diào)度 現(xiàn)代操作系統(tǒng)的發(fā)展 小結(jié) 60 進(jìn)程與資源管理 文件管理 存儲(chǔ)管理 設(shè)備管理 處理機(jī) 主存 設(shè)備 操作系統(tǒng) 計(jì)算機(jī)硬件 后繼課程的任務(wù)和地位 小結(jié) 61 內(nèi)容提綱 ? 安全操作系統(tǒng)的重要性 ? 安全評(píng)價(jià)準(zhǔn)則 ? 常用操作系統(tǒng)與安全級(jí)別的對(duì)應(yīng)舉例 ? 安全模型 BLP ? 小結(jié) 小結(jié) 62 安全操作系統(tǒng)的重要性 ? 操作系統(tǒng)是應(yīng)用軟件同系統(tǒng)硬件的接口，其目標(biāo)是： ?高效地、最大限度地、合理地使用計(jì)算機(jī)資源 ? 若沒(méi)有安全操作系統(tǒng)的支持，會(huì)導(dǎo)致： ?數(shù)據(jù)庫(kù)不安全 ?不可能具有存取控制的安全可信性 ?網(wǎng)絡(luò)系統(tǒng)不安全 ?就不可能有網(wǎng)絡(luò)系統(tǒng)的安全性 ?應(yīng)用軟件不安全 ?不可能有應(yīng)用軟件信息處理的安全性 ? 安全操作系統(tǒng)是整個(gè)信息系統(tǒng)安全的基礎(chǔ) ?網(wǎng)絡(luò)系統(tǒng)的安全性依賴(lài)于網(wǎng)絡(luò)中各主機(jī)系統(tǒng)的安全性 ?主機(jī)系統(tǒng)的安全性決定于其操作系統(tǒng)的安全性 ?安全可靠地運(yùn)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1