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