網(wǎng)絡(luò)安全技術(shù)第六章(文件)
【正文】 類型 它的實(shí)現(xiàn)技術(shù)是將系統(tǒng)的安全狀態(tài)表示成一個(gè)大的訪問(wèn)矩陣 A，其中矩陣的每一行表示系統(tǒng)中的一個(gè)主體而矩陣的每一列表示系統(tǒng)的一個(gè)客體，矩陣中的元素 aij表示第 i個(gè)主體對(duì)第 j個(gè)客體的訪問(wèn)模式。第六章 訪問(wèn)控制技術(shù)第三節(jié) 安全模型二安全模型的類型2. 信息流模型 無(wú)干擾型模型的主要技術(shù)是將各個(gè)主體相互隔離，使其在不同的領(lǐng)域中運(yùn)行，以便防止相互干擾。其多級(jí)安全規(guī)則的目的是防止混淆隔離集的界限，防止主體得到超過(guò)其密級(jí)許可等級(jí)的客體信息。第六章 訪問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹2．狀態(tài)機(jī)模型 2．狀態(tài)機(jī)模型定義狀態(tài)變量 定義安全狀態(tài) 定義狀態(tài)轉(zhuǎn)換函數(shù)證明轉(zhuǎn)換函數(shù)是否可保證安全狀態(tài) 定義并證明初始狀態(tài)第六章 訪問(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)并證明安全性 第六章 訪問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹 BLP模型是遵守軍事安全策略的多級(jí)安全模型。第六章 訪問(wèn)控制技術(shù)1．訪問(wèn)控制表一訪問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪問(wèn)控制模型的實(shí)現(xiàn) 對(duì)每個(gè)主體而言，都擁有對(duì)哪些客體的哪些訪問(wèn)權(quán)限；而對(duì)客體而言，又有哪些主體對(duì)它可以實(shí)施訪問(wèn)；將這種關(guān)聯(lián)關(guān)系加以闡述，就形成了控制矩陣。 安全標(biāo)簽的含義比能力更為廣泛和嚴(yán)格，因?yàn)樗鼘?shí)際上還建立了一個(gè)嚴(yán)格的安全等級(jí)集合。訪問(wèn)控制能力表是以用戶為中心建立訪問(wèn)權(quán)限表。第六章 訪問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹 3． Bell＆ La Padula安全模型第一節(jié) 訪問(wèn)控制概述第二節(jié) 訪問(wèn)控制的類型第三節(jié) 安全模型第四節(jié) 訪問(wèn)控制模型的實(shí)現(xiàn)第六章 訪問(wèn)控制技術(shù)第六章 訪問(wèn)控制技術(shù)一訪問(wèn)控制模型的實(shí)現(xiàn)機(jī)制 第四節(jié) 訪問(wèn)控制模型的實(shí)現(xiàn) 是以文件為中心建立的訪問(wèn)權(quán)限表。 第六章 訪問(wèn)控制技術(shù)第三節(jié) 安全模型三典型安全模型介紹（ 2）信息流動(dòng)策略 流控制規(guī)則包括信息流的安全性、完備性和流動(dòng)信道的概念以及明流、暗流安全性的實(shí)現(xiàn)和安全流的訪問(wèn)控制規(guī)則等。在這種模型中，用狀態(tài)變量表示機(jī)器安全操作對(duì)象的狀態(tài)，用狀態(tài)轉(zhuǎn)換函數(shù)或操作規(guī)則描述這些狀態(tài)變量是怎么變化的 ,系統(tǒng)的安全狀態(tài)變量和狀態(tài)轉(zhuǎn)換函數(shù)構(gòu)成狀態(tài)機(jī)安全模型的總體。規(guī)定信息可以流通的安全有效路徑。第六章 訪問(wèn)控制技術(shù)第三節(jié) 安全
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1