柔性訪問控制研究.pdf

1、本文研究主要集中于下列幾個問題：柔性訪問控制的概念；基于角色訪問控制模型(RBAC)的柔性；柔性訪問控制策略中的沖突消解；基于邏輯程序的柔性授權(quán)框架的設(shè)計與分析。基于上述問題的深入研究，我們?nèi)〉昧怂膫€方面的成果與創(chuàng)新： (1)柔性訪問控制規(guī)范與分析就我們所知，有關(guān)柔性訪問控制的概念尚無明確定義與總結(jié)，我們認(rèn)為其含義是模糊的和處于進(jìn)化過程中的。我們可以簡單地理解柔性為“多屬性”和“多域性”，但今天的柔性訪問控制已涉及到信任管理和信任協(xié)商等

2、問題，因此對柔性訪問控制的概念歸納與特征描述是必要的。進(jìn)一步，我們分析了如何用邏輯程序表示柔性訪問控制策略所涉及的幾個問題，特別是如何用邏輯程序規(guī)則確定“柔性”特征。我們也研究了幾個流行的授權(quán)框架理論。這樣，我們獲得了以下結(jié)果：-柔性訪問控制的概念外延可歸納為：表達(dá)從顯式到隱式、決策從身份標(biāo)識到主體屬性、更新從靜態(tài)到動態(tài)、實施從單一到組合、環(huán)境從封閉到開放；-柔性訪問控制的特征有：條件(系統(tǒng)、上下文與歷史)、層次(主體、客體、權(quán)限和角色

3、)、正負(fù)授權(quán)、基于屬性的規(guī)范、動態(tài)環(huán)境、授權(quán)推理：一分析邏輯程序的結(jié)構(gòu)特征能確定相應(yīng)的安全需求性質(zhì)，同時也決定其語義計算；-幾個經(jīng)典的授權(quán)框架優(yōu)缺點互補交叉，這給我們進(jìn)一步研究的空間。 (2)RBAC模型的柔性在分析RBAC柔性的基礎(chǔ)上，我們提出了“在RBAC中實現(xiàn)LBAC策略的形式化分析”問題，它涉及如何用RBAC的機制來實施基于格的訪問控制(LBAC)策略。盡管已有一些有關(guān)LBAC與HBAC關(guān)系的研究，但大多是非形式化的。我們的研究

4、是基于形式化的方法，涉及到關(guān)系、邏輯與同態(tài)等。這一研究主要有下列貢獻(xiàn)：-形式化分析顯示如何用RBAC框架使關(guān)鍵的LBAC策略有效，RBAC有一個好的機制--角色在統(tǒng)一處理一系列LBAC系統(tǒng)中所起的作用；-研究得出幾個基于格的訪問控制策略能在RBAC中實現(xiàn)，并且也清楚地探索出RBAC控制管理機制；-通過使用一種安全模型來統(tǒng)一研究其它的方法，使我們探索一種有關(guān)集成安全策略的推理成為可能。 (3)偏好沖突消解策略據(jù)我們所知，少有基于文字偏好沖

5、突消解用于訪問控制領(lǐng)域。根據(jù)沖突消解原理，我們研究問題：用LPOD程序消解沖突，用帶有序析取的邏輯程序(LPOD)規(guī)則消解沖突。我們所提出的方法有下列優(yōu)點：-這一方法是偏好沖突消解方法，它是基于文字與上下文依賴的，不同于規(guī)則優(yōu)先和基于組織的策略，它有精細(xì)的粒度；- LPOD程序的語義不是通常的穩(wěn)定模型，但它的語義計算可轉(zhuǎn)化為穩(wěn)定模型計算。因此它是新穎的；-選擇LPOD程序回答集的選擇標(biāo)準(zhǔn)是靈活的，并能很好適應(yīng)于實際需求。 (4)基于邏輯

6、程序的柔性授權(quán)框架我們提出授權(quán)框架由三個程序模塊組成：PRAP組件、URAP組件與UR-RP授權(quán)策略，PRAP指“權(quán)限角色分配程序”負(fù)責(zé)分配權(quán)限給角色，URAP表示“用戶角色分配程序”，其功能是分配角色予用戶，UR-RP程序結(jié)合PRAP和URAP實施多策略集成。這個授權(quán)框架有下列優(yōu)點：-由于該框架的管理機制是基于RBAC，所以它易于進(jìn)一步擴展與精化；-因為這個框架是基于邏輯程序的，所以它是柔性的。使用RBAC組織策略規(guī)范中的規(guī)則可強化規(guī)

7、范的結(jié)構(gòu)：-框架中的組件模塊能充分利用已有理論的優(yōu)點。例如，PRAP對角色、客體與權(quán)限使用Bertino99框架中的精細(xì)粒度和結(jié)構(gòu)化的遺傳機制，URAP對用戶利用FAF理論中的多重沖突消解與決策策略，UR-RP顯式地體現(xiàn)出RBAC中會話功能；-各組件模塊在一個統(tǒng)一的框架下獨立地實施策略并進(jìn)行交互。事實上這種實施和交互功能是基于邏輯程序的結(jié)合；-由于非單調(diào)理論應(yīng)用于我們的授權(quán)框架，所以我們能應(yīng)用信念修改來實現(xiàn)現(xiàn)實世界中的柔性策略。上面所有