【摘要】：策略精化是解決分布式應(yīng)用訪問(wèn)控制策略配置復(fù)雜性的重要方法,現(xiàn)有精化技術(shù)給出了策略分層描述和逐層精化的方法,但處理策略之間關(guān)聯(lián)問(wèn)題的能力不足.基于精化樹(shù)描述策略和策略關(guān)聯(lián),基于葉結(jié)點(diǎn)策略沖突判斷,采用開(kāi)放邏輯R反駁計(jì)算分析精化樹(shù)策略關(guān)聯(lián)屬性,能夠消解策略沖突同時(shí)保證策略互斥、組合、訪問(wèn)路徑協(xié)同、精化映射等關(guān)聯(lián)正確,并能夠按序消解不同類型策略沖突、自由取舍相沖突的策略.實(shí)驗(yàn)與分析計(jì)算性能表明,該方法符合Saa S平臺(tái)客戶應(yīng)用系統(tǒng)策略精化需求.
[Abstract]:Policy refinement is an important method to solve the complexity of configuration of access control policies in distributed applications. The existing refinement techniques give the methods of policy hierarchy description and layer by layer refinement, but the ability to deal with the problem of policy correlation is insufficient. Based on the refined tree description strategy and policy association, based on the decision of leaf node policy conflict, the open logic R is used to refute and analyze the attribute of refined tree policy association, which can resolve the policy conflict and ensure the policy mutex, combination and access path cooperation. The refined mapping is correct, and it can resolve the conflict of different types of strategy in order and choose the conflict freely. The experimental and computational results show that the method meets the needs of SAA S platform customer application system strategy refinement.
【作者單位】： 計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));
【基金】：國(guó)家高技術(shù)研究發(fā)展計(jì)劃(863)(2011AA01A202)
【分類號(hào)】：TP393.08

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 李未;一個(gè)開(kāi)放的邏輯系統(tǒng)[J];中國(guó)科學(xué)(A輯 數(shù)學(xué) 物理學(xué) 天文學(xué) 技術(shù)科學(xué));1992年10期

2 李未;R-演算:一個(gè)修正程序規(guī)約的演算系統(tǒng)[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年05期

3 蘇開(kāi)樂(lè);R-reconstruction in open logic[J];Chinese Science Bulletin;1995年05期

4 吳迎紅;黃皓;周靖康;曾慶凱;;分布式應(yīng)用訪問(wèn)控制策略精化沖突分析[J];計(jì)算機(jī)應(yīng)用;2014年02期

5 蘇開(kāi)樂(lè),丁德成;關(guān)于事實(shí)反駁與一般假說(shuō)的開(kāi)放邏輯[J];科學(xué)通報(bào);1994年16期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉鵬;胡建斌;陳鐘;;分布式計(jì)算環(huán)境下的語(yǔ)義安全策略語(yǔ)言(英文)[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年05期

2 李未,馬世龍,眭躍飛,許可;收斂無(wú)窮計(jì)算及其應(yīng)用[J];北京航空航天大學(xué)學(xué)報(bào);2002年05期

3 張文q，

本文編號(hào)：2130145