協(xié)作環(huán)境中訪問(wèn)控制模型研究.pdf

1、計(jì)算機(jī)支持的協(xié)作工作是指利用計(jì)算機(jī)技術(shù)、多媒體技術(shù)和網(wǎng)絡(luò)通信技術(shù)，支持工作組人員在共享環(huán)境下交互協(xié)商、分工合作、共同完成協(xié)作任務(wù)，它支持多個(gè)時(shí)間上分離、空間上分布，而工作又相互依賴(lài)的組成員的協(xié)作工作。由于在協(xié)作組成員之間及成員與系統(tǒng)之間不可預(yù)知的行為和交互方式，在協(xié)作環(huán)境中保護(hù)上下文信息和資源必須解決比傳統(tǒng)信息系統(tǒng)中更為特殊的安全問(wèn)題，其核心就是要平衡安全與協(xié)作、靈活性與可控性的矛盾。計(jì)算機(jī)支持的協(xié)作工作在政府、商業(yè)、教育、醫(yī)療、軍事等

2、多個(gè)領(lǐng)域得到廣泛的應(yīng)用，典型應(yīng)用包括工作流管理系統(tǒng)、辦公自動(dòng)化系統(tǒng)、協(xié)同設(shè)計(jì)系統(tǒng)、軍事指揮系統(tǒng)、遠(yuǎn)程教育和電視電話會(huì)議等，這些協(xié)作系統(tǒng)應(yīng)用背景、工作性質(zhì)的不同決定其對(duì)訪問(wèn)控制的需求也有所不同，適當(dāng)?shù)脑L問(wèn)控制模型是支持這些協(xié)作系統(tǒng)正常運(yùn)行的重要前提之一。 綜述了協(xié)作環(huán)境中訪問(wèn)控制理模型研究成果，分析了現(xiàn)有研究成果不足之處，針對(duì)協(xié)作環(huán)境中訪問(wèn)控制的需求，研究以下訪問(wèn)控制模型并通過(guò)形式化證明或原型系統(tǒng)對(duì)模型進(jìn)行驗(yàn)證。 以基于場(chǎng)

3、所的訪問(wèn)控制模型和基于角色的訪問(wèn)控制模型為基礎(chǔ)研究基于場(chǎng)所和角色的協(xié)作訪問(wèn)控制模型，對(duì)角色、權(quán)限、場(chǎng)所等主要模型部件進(jìn)行了重新定義，引入基于時(shí)間、空間、上下文狀態(tài)變量的授權(quán)約束及協(xié)作場(chǎng)所等概念，引入了組成員通過(guò)投票進(jìn)行授權(quán)的方法，實(shí)現(xiàn)全局訪問(wèn)控制和協(xié)作小組內(nèi)部自主訪問(wèn)控制相結(jié)合的靈活、分層授權(quán)機(jī)制。 在BLP模型基礎(chǔ)上研究樹(shù)形層次化組織機(jī)構(gòu)中的分級(jí)協(xié)作訪問(wèn)控制模型，建立部門(mén)之間的層次關(guān)系，給出崗位這一新的概念，簡(jiǎn)化了安全標(biāo)記指派

4、這一煩瑣工作。通過(guò)為崗位指派多個(gè)安全標(biāo)記，實(shí)現(xiàn)上下級(jí)及平級(jí)部門(mén)之間的互相溝通，在樹(shù)形層次中靠得越近的部門(mén)，其職員之間可交流的客體密級(jí)越高。定義三個(gè)層次的訪問(wèn)矩陣，實(shí)現(xiàn)多種粒度的靈活的自主訪問(wèn)控制。樹(shù)形層次化組織機(jī)構(gòu)中的分級(jí)訪問(wèn)控制模型在增加靈活性和實(shí)用性的同時(shí)保證信息的流動(dòng)始終處于系統(tǒng)的控制之下，繼承了BLP模型最突出的優(yōu)點(diǎn)，并通過(guò)形式化證明的方式對(duì)樹(shù)形層次化組織機(jī)構(gòu)中的分級(jí)訪問(wèn)控制模型進(jìn)行了驗(yàn)證。 研究工作流系統(tǒng)中基于場(chǎng)所的分

5、布式授權(quán)模型，模型適應(yīng)于多種現(xiàn)有授權(quán)模型不能很好支持的應(yīng)用場(chǎng)景。將對(duì)工作流的授權(quán)分為兩個(gè)步驟，第一步為工作流中的活動(dòng)選擇執(zhí)行場(chǎng)所，可以直接指定或者通過(guò)數(shù)據(jù)驅(qū)動(dòng)的方式為活動(dòng)選擇執(zhí)行場(chǎng)所，第二步場(chǎng)所管理員根據(jù)場(chǎng)所的安全策略為由本場(chǎng)所負(fù)責(zé)執(zhí)行的活動(dòng)指定具體的執(zhí)行者，可以通過(guò)授權(quán)規(guī)則或直接指定的方式為活動(dòng)選定執(zhí)行者，實(shí)現(xiàn)對(duì)工作流系統(tǒng)的分布式授權(quán)。 研究基于特征的空間數(shù)據(jù)協(xié)同標(biāo)注訪問(wèn)控制模型，模型主要由基本授權(quán)模型和授權(quán)約束模塊所組成，基