基于推理的角色授權(quán)管理系統(tǒng).pdf

1、安全的網(wǎng)絡(luò)需要可靠的訪問控制服務(wù)作為保證，尤其是當(dāng)網(wǎng)絡(luò)規(guī)模比較大和用戶較多的時(shí)候。在安全訪問控制模型的研究方面，RBAC模型比傳統(tǒng)的訪問控制技術(shù)相比具有明顯的優(yōu)勢，簡化了授權(quán)過程的管理，同時(shí)可以實(shí)現(xiàn)細(xì)粒度的訪問控制。 然而，RBAC模型只是一個(gè)概念框架，沒有涉及到具體應(yīng)用，因此本文對RBAC模型進(jìn)行了擴(kuò)充，提出RAM(RoleAuthorizeManagement)模型，進(jìn)一步縮小了模型與現(xiàn)實(shí)世界的差距。RAM模型對授權(quán)過程的基

2、本元素(域、用戶、角色、對象、操作、權(quán)限、互斥角色集合、先決條件角色和角色基數(shù))做出了詳細(xì)定義。元素和元素之間的聯(lián)系構(gòu)成了模型中關(guān)系的定義，一共定義了六種關(guān)系：指派關(guān)系、屬于關(guān)系、綁定關(guān)系、繼承關(guān)系、互斥關(guān)系、先決關(guān)系。另外，在實(shí)際中約束是廣泛存在的?；旧厦總€(gè)RBAC模型都談到了約束問題的概念，但是大部分都并沒說明如何實(shí)現(xiàn)約束，以及約束關(guān)系的存在會給基本信息帶來什么其它的約束。在RAM模型中，對約束進(jìn)行沖突檢測實(shí)現(xiàn)了企業(yè)的安全策略。在

3、定義和分析各種類型的約束關(guān)系的基礎(chǔ)上，總結(jié)了相關(guān)的公理、定理和引理，并用形式證明序列給出了定理的證明，實(shí)現(xiàn)了責(zé)任分離原則以及最小權(quán)限原則。 基于RAM模型，設(shè)計(jì)實(shí)現(xiàn)了基于推理的角色授權(quán)管理系統(tǒng)。它作為一個(gè)獨(dú)立組件，向應(yīng)用系統(tǒng)提供關(guān)于系統(tǒng)的安全訪問控制服務(wù)。角色授權(quán)管理系統(tǒng)中，資源包括域以及域中數(shù)據(jù)，如用戶、角色、操作、對象、權(quán)限、綁定關(guān)系。對于資源這種基本的信息數(shù)據(jù)適合用數(shù)據(jù)庫進(jìn)行保存。在基本信息的基礎(chǔ)上，引入責(zé)任分離約束的相關(guān)

4、概念。對約束而言，涉及到推理和目標(biāo)匹配等步驟，因此根據(jù)RAM模型所建立的授權(quán)推理形式系統(tǒng)，用PROLOG文件來保存約束信息，實(shí)現(xiàn)邏輯推理。由于PROLOG是一種描述性語言，而不是過程性語言，因此，更加方便的實(shí)現(xiàn)了約束控制。根據(jù)授權(quán)推理形式系統(tǒng)中的前提生成PROLOG程序，通過對PROLOG程序的目標(biāo)進(jìn)行查詢，即可實(shí)現(xiàn)授權(quán)管理過程中的約束控制檢測。也就是說通過邏輯推理，實(shí)現(xiàn)了訪問控制系統(tǒng)中的安全策略問題。 由于角色授權(quán)管理系統(tǒng)的約