【正文】 如果當(dāng)前訪問是 b ? （主體，客體，只可讀 r），那么一定有： level(主體 ) ? level(客體 ) 其中， level 表示安全級別。 pocket文件，作為秘密的接收者。到午夜時分，全城軍民盡入夢鄉(xiāng)，匿于木馬中的將士開秘門游繩而下，開啟城門及四處縱火，城外伏兵涌入，部隊里應(yīng)外合，焚屠特洛伊城。LaPadula模型（一） ? Bell amp。 ? 操作系統(tǒng)是計算機資源的管理軟件，是并發(fā)程序 編譯程序 匯編程序 正文編輯程序 數(shù)據(jù)庫系統(tǒng) 操作系統(tǒng) 裸機 用戶 1 用戶 2 用戶 3 ? 用戶 n 操作系統(tǒng) 系 件 統(tǒng)軟 件 應(yīng) 用軟 用戶 計算機系統(tǒng)的組成與軟件的層次關(guān)系 小結(jié) 32 計算機系統(tǒng)構(gòu)件的抽象視圖 小結(jié) 33 操作系統(tǒng)的表述 ? 從使用者的角度表述： ? 提供計算機用戶與計算機硬件系統(tǒng)之間的接口，使計算機系統(tǒng)更易于使用。 ? 資源管理觀點 ? 資源觀點是從現(xiàn)代計算機系統(tǒng)角度考慮問題。 星號安全特性（ *特性）： 在任意狀態(tài)，如果（主體，客體，方式）是當(dāng)前訪問，那么一定有： (1)若方式是 a，則： current_level(主體 ) ? level(客體 ) (2)若方式是 w，則： current_level(主體 ) ? level(客體 ) (3)若方式是 r，則： current_level(主體 ) ? level(客體 ) 其中， current_level 表示當(dāng)前安全級別。 引用監(jiān)控器 Use_it 采用 BLP模型的引用監(jiān)控器防范特洛伊木馬 小結(jié) 82 引用監(jiān)控器示意圖（ B3安全級） 引用監(jiān)控器 授權(quán)數(shù)據(jù)庫 引用監(jiān)控器 審計 目標(biāo) 客體 目標(biāo) 客體 目標(biāo) 客體 目標(biāo) 客體 目標(biāo) 客體 管理員 （主體） 用戶 （主體） 認證 訪問控制 小結(jié) 83 標(biāo)準(zhǔn)化機構(gòu)在信息安全方面的 工作 1 ? 1985年， DoD5200． 28－ STD，即可信計算機系統(tǒng)評測標(biāo)準(zhǔn)（ TCSEC，美國國防部桔皮書，以下簡稱 DOD85評測標(biāo)準(zhǔn)） ? 1987年，美國國家計算機安全中心（ NCSC）為 TCSEC桔皮書提出可依賴網(wǎng)絡(luò)解釋（ TNI），通常被稱作紅皮書 ? 1991年，美國國家計算機安全中心（ NCSC）為 TCSEC桔皮書提出可依賴數(shù)據(jù)庫管理系統(tǒng)解釋（ TDI） ? 1996年在上述標(biāo)準(zhǔn)的基礎(chǔ)上，美國、加拿大和歐洲聯(lián)合研制 CC（信息技術(shù)安全評測公共標(biāo)準(zhǔn)， The Common Criteria for Information Technology Security Evaluation，CC for ITSEC），頒布了 CC ? 此后美國不再受理以 TCSEC為制度的評價申請，所有的安全評價都按照 CC進行 ? CC將安全功能和安全保證分離 小結(jié) 84 標(biāo)準(zhǔn)化機構(gòu)在信息安全方面的工作 2 在歐洲，由英國、荷蘭和法國帶頭，開始聯(lián)合研制歐洲共同的安全評測標(biāo)準(zhǔn) ? 1991年頒布歐洲的 ITSEC（信息技術(shù)安全標(biāo)準(zhǔn)）。城中得知解圍的消息后，遂將 “ 木馬 ” 作為奇異的戰(zhàn)利品拖入城內(nèi)，全城飲酒狂歡。 例如：標(biāo)簽為 秘密， {國防部 } 則可以查看 “ 國防部 ” 的信息，其密級不超過 “ 秘密 ” 級 ?比如：密級可以分為： “ 非密 ” 、 “ 秘密 ” 、 “ 機密 ” 、 “ 絕密 ”等等級別 小結(jié) 70 Bellamp。 小結(jié) 29 存儲程序式計算機的結(jié)構(gòu)和特點 ? 著名數(shù)學(xué)家 Von Neumann總結(jié)了 ? 手工操作的規(guī)律 ? 前人研究計算機的經(jīng)驗教訓(xùn)，提出了 ?“存儲程序式計算機”方案 ?一個順序計算模型 典型的單處理機系統(tǒng)結(jié)構(gòu) 總 線 中央處理機單元 (CPU) 內(nèi)存儲器 磁盤 適配器 輸入 /輸出接口 其他外設(shè) 接口 通信線路 接口 磁盤 驅(qū)動器 輸入 /輸出設(shè)備 各種外設(shè) 通信線路 小結(jié) 30 第一章 概論 ?操作系統(tǒng)的基本概念 ? 操作系統(tǒng)的定義及其在計算機系統(tǒng)中的地位 ? 操作系統(tǒng)的功能、特性及其應(yīng)解決的基本問題 F 小結(jié) 31 操作系統(tǒng)的定義及其在計算機系統(tǒng)中的地位 ? 操作系統(tǒng)是搭在硬件平臺上的第一層軟件，它負責(zé)把系統(tǒng)資源管理起來以便充分發(fā)揮它們的作用。計算機系統(tǒng)由硬件和軟件兩大部分組成，即：硬件和軟件資源，這些資源都是非常寶貴的，按其性質(zhì)可歸為四大類： ?處理機 ?存儲器 ?外部設(shè)備 ?文件 (程序和數(shù)據(jù) ) 這四類資源構(gòu)成了操作系統(tǒng)本身和用戶作業(yè)賴以活動的物質(zhì)基礎(chǔ)和工作環(huán)境。 小結(jié) 73 Bellamp。 ? 1993年，加拿大頒布 CTCPEC（加拿大可信計算機產(chǎn)品評測標(biāo)準(zhǔn)）。于是有人獻計制造一只高二丈的大木馬，假裝作戰(zhàn)馬神，讓士兵藏匿于巨大的木馬中，大部隊假裝撤退而將木馬擯棄于特洛伊城下。 LaPadula強制訪問控制模型 ? 為主體和客體提供標(biāo)簽支持 ?主體 ? 用戶、進程等 ? 實施操作的一方 ?客體 ? 文件、目錄、設(shè)備、 IPC機制等 ? 受操作的一方 ?根據(jù)設(shè)定的不同的標(biāo)簽進行控制 ? 主體和客體都有標(biāo)簽設(shè)置 ? 系統(tǒng)根據(jù)主體與客體的標(biāo)簽匹配關(guān)系強制實行訪問控制 ?符合匹配規(guī)則的準(zhǔn)許訪問 ?否則拒絕訪問，無論主體是普通用戶還是特權(quán)用戶。 小結(jié) 9 第一代計算機 小結(jié) 10 第三代計算機： PDP7小型機 小結(jié) 11 第四代計算機：國產(chǎn)曙光 5000巨型機 小結(jié) 12 現(xiàn)代計算機系統(tǒng) 小結(jié) 13 存儲設(shè)備的層次 小結(jié) 14 整數(shù) A從磁盤到寄存器的移植過程 小結(jié) 15 單進程輸出情況的中斷時間線 小結(jié) 16 現(xiàn)代計算