對(duì)傳統(tǒng)訪問控制模型進(jìn)行了分析，指出它們?nèi)秉c(diǎn)和存在的問題；介紹了基于角色的訪問控制模型及其優(yōu)點(diǎn)，提出了一種基于角色的訪問控制模型，對(duì)傳統(tǒng)的BLP模型進(jìn)行改造，并給出了簡(jiǎn)要的證明。
關(guān) 鍵 詞 訪問控制; 基于角色的訪問控制; 基于格的訪問控制; 強(qiáng)制訪問控制

Research of Access Control of Role-Based MAC
TIAN Jing-dong1，HE Zai-lang2，WANG Xiang-dong3，ZHANG Yu-sen4
(1. PLA 77546th Unit Lasa 850000; 2. PLA Engineer Command College Xuzhou JiangSu 221004; 3. Institute of Communication Engineering, PLA Univ. of Sci. & Tech. Nanjing 210007; 4. Institute of Command Automation, PLA Univ. of Sci. & Tech. Nanjing 210042)
Abstract This article analyzes the traditional access control models, points out their defects and existing problems. Particularly, a role-based access control model and its merits are introduced in this article. And then, the advanced methods of reconstructing the traditional BLP models with role-based access control model is proposed and a brief theoretical analysis is given.
Key words access control; role-based access control; lattice-based access control; mandatory access control

訪問控制技術(shù)是任何安全信息系統(tǒng)的重要環(huán)節(jié)。訪問控制主要解決系統(tǒng)的機(jī)密性和完整性方面的問題。20世紀(jì)70年代，Bell，Biba，LaPadula和Denning對(duì)訪問控制技術(shù)領(lǐng)域進(jìn)行基礎(chǔ)研究，并建立了基于格的強(qiáng)制訪問策略模型(LBAC)，其理論和概念幾乎可以用到任何涉及信息流的場(chǎng)合。最具有代表性的兩個(gè)模型是Bell-LaPadula模型(簡(jiǎn)稱BLP模型)和Biba模型，被廣泛應(yīng)用于許多系統(tǒng)中。BLP模型主要解決機(jī)密性問題，Biba模型主要解決完整性問題，但是它們?cè)趯?shí)現(xiàn)過程中的缺陷，影響了它們的可用性。
1 Bell-LaPadula模型
Bell-LaPadula模型用強(qiáng)制訪問控制來加強(qiáng)自主訪問控制，以執(zhí)行信息流策略。Bell-LaPadula模型的訪問控制分為兩步：(1) 自主訪問控制矩陣D，但D的內(nèi)容可以被主體修改，一個(gè)操作的實(shí)現(xiàn)在D中的驗(yàn)證還不夠充分；(2) 操作必須被強(qiáng)制訪問控制策略批準(zhǔn)。
強(qiáng)制訪問控制策略用主體和對(duì)象的安全級(jí)別來表達(dá)。用()sλ和()oλ分別表示主體s和對(duì)象o的安全級(jí)別；用表示安全級(jí)別間的支配關(guān)系，那么Bell-LaPadula模型的主要性質(zhì)表現(xiàn)為： ??
(1) 簡(jiǎn)單安全特性，即當(dāng)且僅當(dāng)()()soλλ??，主體s可以讀對(duì)象o。
(2) *-特性，即當(dāng)且僅當(dāng)()()oλλ??，主體s可以寫對(duì)象o。有時(shí)也表現(xiàn)為嚴(yán)格的*-特性，即當(dāng)且僅當(dāng)()()soλλ=，主體s可以寫對(duì)象o。
但是，Bell-LaPadula模型不能完全抵抗特洛伊木馬，也不能解決隱蔽信道問題[1]。
Biba模型和BLP模型沒有本質(zhì)的區(qū)別，都只允許安全格中一個(gè)方向的信息流，即BLP模型允許信息上流，Biba模型允許信息下流[1]。
本文對(duì)傳統(tǒng)的BLP模型進(jìn)行改造，提出了一種基于角色的訪問控制模型。
2 基于角色訪問的控制模型(RBAC)
RBAC是傳統(tǒng)的強(qiáng)制訪問控制(Mandatory Access Control，MAC)和DAC最有希望的替換品。在基于角色的訪問控制(Role-Based Access Control，RBAC)中，許可(Permission)都與角色(Role)相關(guān)。用戶(User)都分配適當(dāng)?shù)慕巧蚨@得角色的許可，簡(jiǎn)化了許可的管理。角色可以根據(jù)一個(gè)部門的工作來創(chuàng)建，于是用戶可以根據(jù)自身的責(zé)任和資格來分配適當(dāng)?shù)慕巧?。用戶可以方便地從一個(gè)角色被分配到另一個(gè)角色。角色可以根據(jù)應(yīng)用和系統(tǒng)的變化授予新的許可，也可以根據(jù)需要，撤銷許可。
策略中立是RBAC的一個(gè)重要特點(diǎn)；RBAC的另一個(gè)特點(diǎn)是有能力根據(jù)組織需求的變化修改策略。這些特點(diǎn)可以彌補(bǔ)BLP模型的不足。