基于P-RBAC的訪(fǎng)問(wèn)控制模型中職責(zé)機(jī)制的研究.pdf

1、隨著計(jì)算機(jī)網(wǎng)絡(luò)和社會(huì)經(jīng)濟(jì)的發(fā)展，人們?cè)谌缟虡I(yè)、醫(yī)院等交往場(chǎng)合中產(chǎn)生的數(shù)據(jù)資源日益增多，特別是現(xiàn)在公有云服務(wù)已廣泛應(yīng)用到生活和生產(chǎn)當(dāng)中。在這之中，如銀行、電商、醫(yī)院或者云服務(wù)提供商等作為用戶(hù)數(shù)據(jù)資源的管理者，須要提供細(xì)粒度的隱私保護(hù)機(jī)制，以使用戶(hù)的數(shù)據(jù)在被收集、利用和分配等操作時(shí)，數(shù)據(jù)的隱私性可以在一定的程度上得到保護(hù)。在這種場(chǎng)合中，就需要一種規(guī)范、細(xì)粒度、易于管理且符合實(shí)際需求的訪(fǎng)問(wèn)控制模型來(lái)滿(mǎn)足要求。P-RBAC的訪(fǎng)問(wèn)控制模型是在基于

2、角色的訪(fǎng)問(wèn)控制（RBAC）模型的基礎(chǔ)上進(jìn)行的擴(kuò)充，該模型不僅具有一般RBAC所具備的角色層次、最小權(quán)限、權(quán)限分離等靈活的特性，而且能提供條件、目的、職責(zé)等細(xì)粒度的隱私保護(hù)所需求的模塊。但是隨著模型中引入滿(mǎn)足隱私需求的其他組成成分，策略間產(chǎn)生的不一致性的類(lèi)型與可能性也隨之增加，本文即在P-RBAC模型的基礎(chǔ)上重點(diǎn)針對(duì)職責(zé)機(jī)制進(jìn)行了分析。
　　本文分析了P-RBAC訪(fǎng)問(wèn)控制模型中職責(zé)機(jī)制所具有的性質(zhì)，包括職責(zé)的主體獨(dú)立操作性、時(shí)間約束

3、性和條件性等性質(zhì)，并在對(duì)職責(zé)性質(zhì)分析的基礎(chǔ)上，提出一個(gè)職責(zé)的完整表示模型。結(jié)合P-RBAC策略的表示形式，分析了職責(zé)機(jī)制下 P-RBAC訪(fǎng)問(wèn)控制策略存在的安全和不一致性的問(wèn)題。
　　然后，本文研究了模型中由于職責(zé)機(jī)制而導(dǎo)致的策略間的層疊問(wèn)題。重點(diǎn)分析了層疊問(wèn)題產(chǎn)生的條件與檢測(cè)算法，并提出根據(jù)一定的流程進(jìn)行層疊問(wèn)題的消除。為了更好的檢測(cè)此問(wèn)題，本文設(shè)計(jì)一種算法將此問(wèn)題轉(zhuǎn)化為模型檢測(cè)的方法，并通過(guò)現(xiàn)有的模型檢測(cè)軟件Alloy進(jìn)行自動(dòng)化