基于約束關(guān)系的角色訪問(wèn)控制技術(shù)研究與改進(jìn).pdf

1、隨著網(wǎng)絡(luò)技術(shù)與信息技術(shù)的發(fā)展,信息系統(tǒng)的安全性與效率越來(lái)越被重視。基于角色的訪問(wèn)控制技術(shù)已經(jīng)成為一種重要的保證系統(tǒng)安全性的技術(shù),新興的信息技術(shù)和應(yīng)用也對(duì)系統(tǒng)安全性和靈活性提出了挑戰(zhàn)。對(duì)此,本文試圖從約束關(guān)系出發(fā),對(duì)角色訪問(wèn)控制展開(kāi)討論和研究,主要工作和貢獻(xiàn)如下:
　　首先,本文針對(duì)角色訪問(wèn)控制模型的授權(quán)管理復(fù)雜問(wèn)題,提出了一種基于工作區(qū)約束的改進(jìn)授權(quán)管理模型。所提模型通過(guò)引入工作區(qū)約束,降低了授權(quán)管理與管理角色層次結(jié)構(gòu)的緊耦合,大

2、大提高了授權(quán)管理效率。對(duì)所提模型進(jìn)行形式化定義,討論了模型的實(shí)現(xiàn)方法,通過(guò)實(shí)例分析與對(duì)比實(shí)驗(yàn),驗(yàn)證了所提模型的效率和靈活性。
　　其次,本文針對(duì)角色訪問(wèn)控制模型的信息泄露問(wèn)題,對(duì)模型中信息流約束進(jìn)行研究與分析。給出合法信息流與非法信息流的形式化定義,并設(shè)計(jì)了具體的約束算法,包括非法信息流的判斷、檢測(cè)與控制;給出系統(tǒng)元素關(guān)系集變化對(duì)系統(tǒng)信息流安全狀態(tài)的影響。通過(guò)實(shí)驗(yàn)?zāi)M實(shí)現(xiàn)約束算法,結(jié)果表明,基于信息流約束的改進(jìn)模型解決了信息泄露問(wèn)