協(xié)同環(huán)境中動態(tài)訪問控制模型的研究.pdf

1、隨著網(wǎng)絡時代的發(fā)展，計算機支持的協(xié)同工作系統(tǒng)(CSCW)已引起工業(yè)界和學術界的高度重視，而作為一個發(fā)展的研究領域，協(xié)同工作還存在著很多問題有待進一步研究和解決，其中之一就是系統(tǒng)安全。本文的研究重點是協(xié)同環(huán)境中的訪問控制問題,即如何將訪問控制模型，更恰當、簡潔地應用到協(xié)同系統(tǒng)中。本文根據(jù)協(xié)同環(huán)境中的訪問控制安全需求，提出和設計了一種新的訪問控制模型。主要研究內(nèi)容如下。 文章首先分析并比較幾種經(jīng)典的訪問控制模型，探討它們應用在協(xié)同環(huán)

2、境中的局限性。隨后提出了一種適用于協(xié)同環(huán)境的訪問控制模型DT-RBAC。對DT-RBAC安全模型進行了形式化定義，接著給出了一些重要的安全公理和定理，并以這些定義、公理和定理為基礎設計了DT-RBAC模型的安全規(guī)則。 針對文章所設計的DT-RBAC模型，提出一個基于Petri網(wǎng)的任務流程建模方法。用Petri網(wǎng)結合任務模式進行任務流程建模，再根據(jù)Petri網(wǎng)的可達性和死鎖性質(zhì)定義出任務結構正確性驗證方式并驗證任務流程，通過實例進

3、行建模分析。 在DT－RBAC模型中引入信任度,提出了任務環(huán)境下協(xié)同主體的層次模糊質(zhì)量綜合評估方法。使用改進的層次分析法計算和確定了任務質(zhì)量評價指標中各因素的權重，通過模糊綜合評價方法較為準確的評價用戶擔任角色執(zhí)行任務的質(zhì)量情況，并給出實例求解。 最后根據(jù)基于任務的動態(tài)訪問控制模型（DT-RBAC），給出了協(xié)同訪問控制安全平臺(CACP)的原型設計。重點描述了該平臺所處層次，體系結構和各模塊的主要功能。最后對設計關鍵點進