ARBAC權(quán)限泄漏分析及改進(jìn).pdf

1、訪問控制技術(shù)是信息安全技術(shù)的重要組成部分,其中基于角色的訪問控制技術(shù)RBAC是當(dāng)前研究的熱點(diǎn)。然而隨著RBAC管理角色間關(guān)系復(fù)雜化,導(dǎo)致難以對(duì)管理角色的轄域做出準(zhǔn)確判斷。為了防范權(quán)限泄漏的風(fēng)險(xiǎn),需要采用某種算法對(duì)管理角色的管理轄域進(jìn)行搜索求解,進(jìn)而提出改進(jìn)的RBAC模型。
　　本文首先對(duì)ARBAC的管理模塊存在的權(quán)限泄漏的風(fēng)險(xiǎn)做出舉例說明,進(jìn)而提出使用智能規(guī)劃圖算法對(duì)URA中管理角色的管理轄域進(jìn)行搜索求解的分析方法。即先通過智能規(guī)

2、劃領(lǐng)域的形式化語(yǔ)言對(duì)URA進(jìn)行安全分析描述,并對(duì)URA的基本操作做出假設(shè)約束以簡(jiǎn)化分析;然后由用戶的初始角色確定模型初始狀態(tài),將角色的繼承關(guān)系虛動(dòng)作化,管理角色的管理策略轉(zhuǎn)化為規(guī)劃領(lǐng)域的操作;最后以會(huì)導(dǎo)致權(quán)限泄漏的角色作為目標(biāo)狀態(tài),如此完成安全分析建模。在該模型的基礎(chǔ)上,通過智能規(guī)劃圖算法進(jìn)行管理轄域求解,獲得管理角色的轄域全集,進(jìn)而檢測(cè)是否存在權(quán)限泄漏的風(fēng)險(xiǎn)。為了防范權(quán)限泄漏的風(fēng)險(xiǎn),本文提出了ARBAC的改進(jìn)模型MRBAC和OSRBA