基于多約束關(guān)系的安全授權(quán)分析與驗(yàn)證.pdf

1、訪問控制是保護(hù)信息資源的一種重要機(jī)制，通過對(duì)用戶訪問行為的限定從而達(dá)到保護(hù)敏感信息的目的。因此，實(shí)施合適的訪問控制是構(gòu)建安全信息系統(tǒng)的基本要求。訪問控制通常依據(jù)一定的安全策略進(jìn)行實(shí)施，即表達(dá)為實(shí)施在訪問控制主體、客體、操作等元素上的安全約束，這種安全約束反映了組織的安全和業(yè)務(wù)需求。例如，職責(zé)分離安全約束要求一定數(shù)量的用戶共同執(zhí)行特定的敏感任務(wù)，用于防范用戶的欺詐行為。然而，在大型組織內(nèi)部定義的安全約束，可能導(dǎo)致安全約束之間存在矛盾或者系

2、統(tǒng)授權(quán)不能有效地反映安全和業(yè)務(wù)需求，從而影響組織目標(biāo)的實(shí)施。因此，分析和驗(yàn)證授權(quán)的安全性和安全約束的有效性，對(duì)于確保系統(tǒng)安全和組織目標(biāo)的實(shí)施，不僅具有重要的理論意義，更具有重要的現(xiàn)實(shí)意義。 授權(quán)安全性分析主要是根據(jù)組織的安全需求，分析當(dāng)前授權(quán)滿足安全需求的情況，發(fā)現(xiàn)授權(quán)與安全需求之間存在的不一致，并給出相應(yīng)的解決方法。根據(jù)授權(quán)與安全需求的不一致情況，可分為嚴(yán)格授權(quán)和寬松授權(quán)。嚴(yán)格的授權(quán)超出基本的安全需求，過多地限定用戶應(yīng)有的訪問

3、權(quán)限，在一定程度上影響系統(tǒng)的可用性；而寬松的授權(quán)會(huì)低于基本的安全需求，過多地允許用戶非法的訪問權(quán)限，在一定程度上影響系統(tǒng)的安全性。授權(quán)的安全性驗(yàn)證主要是通過驗(yàn)證授權(quán)與安全需求的一致性，來分析授權(quán)是否合適。 在授權(quán)安全性分析和驗(yàn)證方面，現(xiàn)有研究通常討論職責(zé)分離約束、環(huán)境約束和上下文約束等安全約束，通過檢查安全約束的可滿足性以及匹配安全需求的程度，驗(yàn)證安全約束的有效性，并根據(jù)驗(yàn)證結(jié)果適當(dāng)?shù)卣{(diào)整安全約束，使其更吻合安全需求。這些研究工

4、作在滿足授權(quán)執(zhí)行用戶選擇方面僅討論了嚴(yán)格滿足約束的情況，能夠滿足一般的安全需求，但是對(duì)于存在多個(gè)用戶滿足安全約束而需要選擇更合適的執(zhí)行用戶時(shí)，缺乏進(jìn)一步細(xì)粒度的定量分析。 針對(duì)上述問題，本文在授權(quán)執(zhí)行選擇方面展開研究，細(xì)致地分析組織不同的安全需求，提出相應(yīng)的解決方案，主要貢獻(xiàn)是： 一、分析了組織在授權(quán)執(zhí)行用戶選擇上的安全需求，提出了一種基于多約束關(guān)系的安全授權(quán)模型，討論了職責(zé)分離約束、用戶資質(zhì)約束、執(zhí)行風(fēng)險(xiǎn)約束等安全約束

5、之間的關(guān)系，提供了定性、定量、定性與定量相結(jié)合等方式選擇授權(quán)執(zhí)行用戶的方法，解決了當(dāng)前在授權(quán)執(zhí)行用戶選擇方面的不足。分析了組織對(duì)執(zhí)行用戶的資質(zhì)需求，規(guī)范了用戶資質(zhì)約束，提供了基于用戶資質(zhì)約束定性地選擇執(zhí)行用戶的方法。分析了授權(quán)風(fēng)險(xiǎn)，基于模糊理論定義了的用戶角色授權(quán)風(fēng)險(xiǎn)，并根據(jù)組織對(duì)任務(wù)的執(zhí)行風(fēng)險(xiǎn)的需求，定義了執(zhí)行風(fēng)險(xiǎn)約束。給出了執(zhí)行風(fēng)險(xiǎn)的評(píng)估模型，提供了基于執(zhí)行風(fēng)險(xiǎn)約束定量地選擇執(zhí)行用戶的方法。進(jìn)行了相關(guān)實(shí)驗(yàn)，實(shí)驗(yàn)結(jié)果說明了相關(guān)算法在運(yùn)