分布式環(huán)境中基于本體的RBAC策略研究.pdf

1、伴隨網(wǎng)絡(luò)與信息技術(shù)的快速發(fā)展，適普計(jì)算、語(yǔ)義Web、網(wǎng)格計(jì)算、多代理系統(tǒng)等等計(jì)算模式紛紛體現(xiàn)出了蓬勃的生命力。它們都處于開(kāi)放、分布式的計(jì)算環(huán)境中，而要在這樣的環(huán)境下實(shí)現(xiàn)安全互操作，則必須面臨著如何解決在多個(gè)異構(gòu)自治域之間安全信息的共享、交互以及集成的問(wèn)題，這對(duì)于訪(fǎng)問(wèn)控制系統(tǒng)的研究來(lái)說(shuō)是一項(xiàng)重大的挑戰(zhàn)。 已有的大部分研究往往側(cè)重于解決訪(fǎng)問(wèn)控制在特定環(huán)境下所存在的某些具體問(wèn)題，而缺乏對(duì)分布式環(huán)境整體上的考察。在對(duì)分布式環(huán)境作了細(xì)致的

2、研究后，提出了利用本體這種新興的技術(shù)，來(lái)完成對(duì)管理域內(nèi)的各種實(shí)體進(jìn)行描述與控制的一般性方法，從而滿(mǎn)足系統(tǒng)從整體上的安全集成的目的。 著眼于解決分布式訪(fǎng)問(wèn)控制策略框架中的描述、推理、集成等關(guān)鍵問(wèn)題，在對(duì)基于角色訪(fǎng)問(wèn)控制策略進(jìn)行充分抽象的基礎(chǔ)上，提出了OntoRBAC——基于角色訪(fǎng)問(wèn)控制的本體模型族。將RBAC 中的各種實(shí)體定義為策略本體中的各類(lèi)概念，將授權(quán)定義為策略規(guī)則，用描述邏輯語(yǔ)言對(duì)之加以形式化的聲明。從功能上看，該模型又由基

3、礎(chǔ)子模型、層次子模型、約束子模型、模態(tài)子模型和總體模型這五個(gè)方面構(gòu)成，它對(duì)RBAC96 模型提供了有力的支持，并在實(shí)體層次描述、約束描述以及模態(tài)授權(quán)等方面作了有益的擴(kuò)展。 本體描述了現(xiàn)實(shí)世界中的概念及其之間的關(guān)系，卻無(wú)法表達(dá)概念之間的因果推理關(guān)系，語(yǔ)義網(wǎng)規(guī)則語(yǔ)言（SWRL）的誕生提供了對(duì)這種本體概念之間的推理規(guī)則的定義能力，然而它目前無(wú)法很好地與本體的描述邏輯推理結(jié)合到一起。因此需要引入SWRL 的子集——描述Horn 邏輯（D

4、HL），在DHL 的范圍內(nèi)可以實(shí)現(xiàn)從描述邏輯到在Horn 邏輯的轉(zhuǎn)換，這種轉(zhuǎn)換被證明是具有語(yǔ)義保持性的，因此相應(yīng)的描述邏輯的推理可以被Horn 邏輯推理替代。從而借助于Horn 邏輯中前向推理、后向推理以及混合推理這三種基于規(guī)則的推理方法，可以實(shí)現(xiàn)對(duì)本體以及本體規(guī)則的推理。另外，在DHL 的范圍內(nèi)，對(duì)OntoRBAC 中各個(gè)子模型的推理規(guī)則進(jìn)行了具體的定義，所有的訪(fǎng)問(wèn)控制決策均在這些推理規(guī)則的基礎(chǔ)上來(lái)完成。 針對(duì)策略的描述與集成

5、中可能存在的沖突問(wèn)題，提出了超協(xié)調(diào)本體知識(shí)庫(kù)中的兩種推理算法——沖突即終止算法和最大一致性算法。這兩種算法并沒(méi)有直接引入非單調(diào)推理，而是試圖在超協(xié)調(diào)的本體知識(shí)庫(kù)中找到一個(gè)一致性的子集，而在這個(gè)子集的基礎(chǔ)上提供單調(diào)性的推理，對(duì)于解決在非一致的本體庫(kù)中實(shí)現(xiàn)單調(diào)性推理提供了很大的幫助，并可以將它們運(yùn)用于OntoRBAC 中的沖突消解問(wèn)題。 策略集成是安全互操作中的一項(xiàng)重要的需求。借助于前面的策略描述與推理，采用基于單本體的策略集成的主

6、要思路和方法，對(duì)OntoRBAC 的策略集成進(jìn)行了形式上的定義，并給出了策略集成中的聲明方法。這些聲明包括跨域的授權(quán)規(guī)則定義、跨域的角色層次映射定義、實(shí)體層次映射定義和實(shí)體一致性聲明，這些方法體現(xiàn)出了對(duì)一般RBAC 策略集成方式的支持與擴(kuò)展。 OntoRBAC 需要一個(gè)策略服務(wù)器來(lái)實(shí)現(xiàn)集中式的策略管理，而這種方法對(duì)分布式授權(quán)的管理能力不強(qiáng)。在此討論了如何在OntoRBAC 的基礎(chǔ)上，引入信任管理的機(jī)制，利用PMI 和屬性證書(shū)來(lái)實(shí)