基于策略域的分布式訪問(wèn)控制模型.pdf

1、隨著越來(lái)越多的分布式系統(tǒng)的出現(xiàn)，如P2P系統(tǒng)、跨多個(gè)域的計(jì)算網(wǎng)格、Web服務(wù)組合，軟件系統(tǒng)的形態(tài)發(fā)生了根本性地變化。作為軟件系統(tǒng)安全保障的訪問(wèn)控制系統(tǒng)也需要重新的設(shè)計(jì)和實(shí)現(xiàn)。本文針對(duì)現(xiàn)有訪問(wèn)控制模型在分布式環(huán)境中表現(xiàn)出的不足，以對(duì)各種分布式訪問(wèn)控制系統(tǒng)的定性研究為基礎(chǔ)，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)分布式訪問(wèn)控制模型，取得了以下重要成果：
　　 1．對(duì)典型的分布式訪問(wèn)控制系統(tǒng)做了定性研究。首先從權(quán)限委派方式、身份鑒別機(jī)制、狀態(tài)信息的維護(hù)、決策

2、模型、信任度評(píng)估、實(shí)現(xiàn)與方案的一致性這6個(gè)方面進(jìn)行了性質(zhì)分析。然后以這幾個(gè)指標(biāo)為依據(jù)，對(duì)具體的訪問(wèn)控制系統(tǒng)做了量化?；谶@些研究對(duì)這一方向的研究現(xiàn)狀做出了總結(jié)，并定下了本文研究工作的目標(biāo)和基調(diào)。
　　 2．對(duì)分布式系統(tǒng)做了抽象，提出了策略域的概念，并且基于策略域，提出了一個(gè)分布式訪問(wèn)控制模型PDAC。對(duì)于訪問(wèn)控制策略，文章首次將能力和契約結(jié)合在一起使用，能力從客觀上反映了節(jié)點(diǎn)提供的操作，而對(duì)這些操作的約束則由策略域?qū)崟r(shí)地給出。這

3、樣，PDAC模型就具備了動(dòng)態(tài)授權(quán)的特征。對(duì)于決策模型，策略域既可以根據(jù)本地信息做出獨(dú)立決策，也可以聯(lián)合其他策略域根據(jù)全局信息做出合意決策。因此，PDAC模型具備分布決策的特征。另外，PDAC模型支持權(quán)限的委派，并且當(dāng)委派權(quán)限的策略域?qū)?quán)限進(jìn)行修改后，策略域能夠記錄這種改變，使得我們能夠以更加細(xì)粒度的方式來(lái)管理授權(quán)。
　　 3．以聯(lián)想廣播為基礎(chǔ)，實(shí)現(xiàn)了策略域的協(xié)同工作模型。使用該模型，策略域可以通過(guò)指定狀態(tài)來(lái)選擇希望與之協(xié)作的其他

4、策略域，也可以通過(guò)設(shè)置自己的本地狀態(tài)來(lái)獲得與其他策略域協(xié)作的機(jī)會(huì)?；诼?lián)想廣播的協(xié)同工作模型能夠在一組策略域中動(dòng)態(tài)地定義多個(gè)協(xié)同子集，滿(mǎn)足分布式環(huán)境的動(dòng)態(tài)協(xié)作要求。以這個(gè)協(xié)同模型為基礎(chǔ)，為PDAC模型制定了服務(wù)發(fā)現(xiàn)機(jī)制和鄰域查詢(xún)機(jī)制。
　　 4．基于主觀邏輯方法，在信任評(píng)估中引入不確定性因素，確立了動(dòng)態(tài)信任評(píng)估機(jī)制。實(shí)驗(yàn)結(jié)果表明，基于主觀邏輯的信任評(píng)估能夠更好地反映分布式環(huán)境的不確定性，對(duì)于促進(jìn)節(jié)點(diǎn)間的協(xié)作有著積極的作用。考慮到

5、現(xiàn)實(shí)世界的信任具有隨時(shí)間衰減的特征，在信任評(píng)估模型中引入了老化機(jī)制。信任評(píng)估的老化能夠客觀地反映節(jié)點(diǎn)間的信任關(guān)系，對(duì)節(jié)點(diǎn)的行為起到了很好地約束作用。
　　 5．結(jié)合BAN邏輯和時(shí)序邏輯，提出了策略描述語(yǔ)言PDPL，給出了形式化的語(yǔ)法規(guī)則和語(yǔ)義解釋。進(jìn)而，以PDAC模型作為形式系統(tǒng)的一個(gè)語(yǔ)義模型，定義了形式系統(tǒng)的公理和推理規(guī)則。以這些工作為基礎(chǔ)，對(duì)PDAC模型的握手、委派、協(xié)作、決策等性質(zhì)進(jìn)行了可靠性論證。
　　 總的來(lái)說(shuō)