一個新的多級安全數(shù)據(jù)庫模型及實現(xiàn)(編輯修改稿)
2025-03-31 05:44 本頁面
【文章內(nèi)容簡介】 x=r → fc(s)≥ fo(o), ic(s) ≤ io(o) , cts(s) cto(o)；（ 讀規(guī)則不變 ） (4) x=e →f max(s)≥ fo(o), imax(s)≥ io(o) , cts(s) cto(o) 規(guī)則 2 在 （ b,M,f,i,ct,H） 狀態(tài) ， a∈ Mij∈ M, fmin(s)≤fo(o)≤fc(s), ic(s)≥io(o), cts(s) cto(o)時 ， 對 rq(Si,Oj,a)的處理： （ 1） Si激活客體 Oj’ ， Oj’ 的安全級為 sel_11= (fo(Oj’ ), io(Oj’ ), cto(Oj’ ))且 fo(Oj’ )= fc(Si)， io(Oj’ )= ic(Si),cto(Oj’ )=cts(Si)。 對 rq(Si,Oj’ ,a)授權(quán) ， 構(gòu)造b1*={(Si,Oj’ ,a)}∪ b， 進入 （ b1*,M,f,i,ct,H） 狀態(tài) 。 （ 2） 安全級 sel_12=( fo(Oj), io(Oj), cto(Oj))對應(yīng)的保密性規(guī)則集為 sel_12_cvp。 If , cvp(Oj’ )=YES Then 進入步驟 （ 3） ） 構(gòu)造 f*， 使得 fo(Oj’ )= fo(Oj)。 （ 4 Else Si刪除客體 Oj’ ， 拒絕 rq(Si,Oj,a)。 （ 3） 安全級 sel_12對應(yīng)的安全代理為 Si’ （ 5） 對 rq(Si’ ,Oj’ ,r)授權(quán) ， 構(gòu)造b 2 * = { ( S i ’ ,Oj ’ , r ) }∪ b 1 *， 進入（ b2*,M,f*,i,ct, H） 狀態(tài) 。 （ 6） 對 rq(Si’ ,Oj,a)授權(quán) ， 構(gòu)造b3*={(Si’ ,Oj,a)}∪ b2*， 進入 （ b3*,M,f*, i,ct, H） 狀態(tài) 。 Si’ 刪除 Oj’ 。 推論 1 當客體的保密等級屬于主體的寫保密等級，客體的完整級被主體的完整級支配，主體的范圍包含于客體的范圍，且，主體寫入客體的內(nèi)容符合客體安全級對應(yīng)的保密性規(guī)則時，主體可以間接寫入客體。 證明 rq(Si,Oj,a)時 主體 Si寫入客體 Oj的內(nèi)容為 ContentWij， 主體 Si從客體Oj讀出的內(nèi)容為 ContenRij， 客體 Oj的內(nèi)容為 Contentj。 在 （ b,M,f,i,ct,H） 狀態(tài) ， a∈ Mij∈ M, fc(Si)≤fo(Oj), ic(s)≥io(o), cts(s) cto(o)時 ， 主體寫入客體的內(nèi)容為 ContentWij。 a) 根據(jù)規(guī)則 2步驟 （ 1） ， 激活客體 Oj’ 對 rq(Si,Oj’ ,a)授權(quán)后 ， ContentWij= ContentWij’ = Contentj’ 。 b) 根據(jù)規(guī)則 2步驟 （ 2） ， 當 Conte
教學課件相關(guān)推薦
鄂ICP備17016276號-1