網(wǎng)絡(luò)安全技術(shù)第六章-資料下載頁(yè)
2025-02-08 11:18本頁(yè)面
【正文】 定義并證明初始狀態(tài)第六章 訪(fǎng)問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹（ 1）構(gòu)造狀態(tài)機(jī)模型的步驟 （ 2）構(gòu)造狀態(tài)機(jī)安全模型舉例一般按以下步驟設(shè)計(jì)：① 抽象描述安全系統(tǒng)并定義狀態(tài)變量② 定義安全狀態(tài) ③ 定義轉(zhuǎn)換函數(shù) ④ 證明轉(zhuǎn)換函數(shù)的安全性 ⑤ 定義初始狀態(tài)并證明安全性 第六章 訪(fǎng)問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹 BLP模型是遵守軍事安全策略的多級(jí)安全模型。其技術(shù)實(shí)質(zhì)是一種形式化的、描述一組訪(fǎng)問(wèn)規(guī)則的狀態(tài)轉(zhuǎn)換模型，它將系統(tǒng)實(shí)體抽象為主體和客體兩類(lèi)集合，定義了安全狀態(tài)的概念并證明狀態(tài)變換的安全性。第六章 訪(fǎng)問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹 3． Bell＆ La Padula安全模型第一節(jié) 訪(fǎng)問(wèn)控制概述第二節(jié) 訪(fǎng)問(wèn)控制的類(lèi)型第三節(jié) 安全模型第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)第六章 訪(fǎng)問(wèn)控制技術(shù)第六章 訪(fǎng)問(wèn)控制技術(shù)一訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn) 是以文件為中心建立的訪(fǎng)問(wèn)權(quán)限表。訪(fǎng)問(wèn)控制表的優(yōu)點(diǎn)在于實(shí)現(xiàn)簡(jiǎn)單，任何得到授權(quán)的主體都可以有一個(gè)訪(fǎng)問(wèn)表。第六章 訪(fǎng)問(wèn)控制技術(shù)1．訪(fǎng)問(wèn)控制表一訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn) 對(duì)每個(gè)主體而言，都擁有對(duì)哪些客體的哪些訪(fǎng)問(wèn)權(quán)限；而對(duì)客體而言，又有哪些主體對(duì)它可以實(shí)施訪(fǎng)問(wèn)；將這種關(guān)聯(lián)關(guān)系加以闡述，就形成了控制矩陣。第六章 訪(fǎng)問(wèn)控制技術(shù)2．訪(fǎng)問(wèn)控制矩陣一訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn) 指請(qǐng)求訪(fǎng)問(wèn)的發(fā)起者所擁有的一個(gè)有效標(biāo)簽，它授權(quán)標(biāo)簽表明的持有者可以按照何種訪(fǎng)問(wèn)方式訪(fǎng)問(wèn)特定的客體。訪(fǎng)問(wèn)控制能力表是以用戶(hù)為中心建立訪(fǎng)問(wèn)權(quán)限表。第六章 訪(fǎng)問(wèn)控制技術(shù)3. 能力一訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn) 限制和附屬在主體或客體上的一組安全屬性信息。 安全標(biāo)簽的含義比能力更為廣泛和嚴(yán)格，因?yàn)樗鼘?shí)際上還建立了一個(gè)嚴(yán)格的安全等級(jí)集合。第六章 訪(fǎng)問(wèn)控制技術(shù)4．安全標(biāo)簽一訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)（ 1）接入訪(fǎng)問(wèn)控制（ 2）資源訪(fǎng)問(wèn)控制（ 3）網(wǎng)絡(luò)端口和節(jié)點(diǎn)的訪(fǎng)問(wèn)控制第六章 訪(fǎng)問(wèn)控制技術(shù)5．訪(fǎng)問(wèn)控制實(shí)現(xiàn)的具體類(lèi)別二訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)方法 1． System V/MLS實(shí)現(xiàn)方法 2． Lipner實(shí)現(xiàn)方法 3． BK實(shí)現(xiàn)方法第六章 訪(fǎng)問(wèn)控制技術(shù)第四節(jié) 訪(fǎng)問(wèn)控制模型的實(shí)現(xiàn)演講完畢，謝謝觀(guān)看！
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1