現(xiàn)代計(jì)算機(jī)網(wǎng)絡(luò)安全體系研討(編輯修改稿)
2025-02-12 13:07 本頁面
【文章內(nèi)容簡介】 、 完整性 、 訪問控制 提綱 ? 安全體系結(jié)構(gòu) ? 安全模型 什么是安全模型 安全模型的種類及舉例 ：訪問控制模型 BLP模型 ；完整性模型（ Biba ） ? 安全評估標(biāo)準(zhǔn) 什么是安全模型？ ? 安全模型是一個系統(tǒng)安全政策的形式化描述（數(shù)學(xué)描述） 一個系統(tǒng)是安全的，當(dāng)切僅當(dāng)它所有的狀態(tài)都滿足安全政策的規(guī)定。 ? 安全模型的意義 TCSEC的提出使安全模型引起了更多的關(guān)注 安全模型能夠精確地表達(dá)系統(tǒng)對安全性的需求，增強(qiáng)對系統(tǒng)安全性的理解； 有助于系統(tǒng)實(shí)現(xiàn) 有助于系統(tǒng)安全性的證明或驗(yàn)證 常見的安全模型 ? 訪問控制模型（ Access Control Model） ? 完整性模型 (integrity model) ? 信息流模型 (Information flow ) 訪問控制模型 ? 控制主體對客體的訪問 一次訪問可以描述為一個三元組： S， A ,O ? 訪問控制政策是一組規(guī)則，決定一個特定 的主體是否有權(quán)限訪問一個客體 F(s, a, o) 224。 {True, False} 訪問控制矩陣 ? 按列看是客體的訪問控制列表（ accesscontrol list） ? 按行看是主體的訪問能力表 (capability list) BLP 模型 ? BellLaPadula Model 用來描述美國國防部 的多級安全政策 —— 用戶和文件分成不同的安全級別，各自帶有 一個安全標(biāo)簽 Unclassified, Confidential , Secret, Top Secret —— 每個用戶只可以讀同級或級別更低的文件 ? BLP模型只描述了保密性，沒有描述完整 性和可用性的要求 BLP 模型 ? BLP模型基于有限狀態(tài)自動機(jī)的概念 BLP 模型 ? 安全特性 (Security property) Simple security property (no read up)reading of information by a subject at a lower sensitivity level from an object at highersensitivity level is not permitted. *(star) security property (no write down) writing of information by a subject a a higher level of sensitivity to an object at a lower level of sensitivity is not permitted BLP 模型 BLP 模型 ? BLP 模型的信
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1