用標(biāo)準(zhǔn)的Datalog程序表示信任管理系統(tǒng)SPKI/SDSI2.0的系統(tǒng)狀態(tài),以Datalog程序的最小Herbrand模型作為它的語義,定義了信任管理系統(tǒng)SPKI/SDSI2.0的安全分析模型,制定了狀態(tài)轉(zhuǎn)換的限制規(guī)則,該限制規(guī)則是可實(shí)現(xiàn)的,在此基礎(chǔ)上對SPKI/SDSI2.0的權(quán)限泄露問題進(jìn)行了全面的分析,證明了該問題是在多項(xiàng)式時(shí)間內(nèi)可判定的;證明了一個(gè)狀態(tài)對于權(quán)限r(nóng)是否可靠依賴且僅依賴于關(guān)于權(quán)限r(nóng)的可信主體集合,并給出了計(jì)算可信主體集合的算法. 

【文章來源】：北京交通大學(xué)學(xué)報(bào). 2013,37(05)北大核心

【文章頁數(shù)】：6 頁

【文章目錄】：
1 SPKI/SDSI2.0安全分析模型
    1.1 SPKI/SDSI2.0證書及語義程序
    1.2 策略查詢
2 SPKI/SDSI2.0安全性分析
    2.1 安全性的判定
        2.1.1 限制規(guī)則
        2.1.2 安全性判定
    2.2 安全性分析
3 結(jié)論


【參考文獻(xiàn)】：
期刊論文
[1]一種高效的SPKI/SDSI2.0策略分析算法[J]. 耿秀華,韓臻,金礪,曹香港.  計(jì)算機(jī)研究與發(fā)展. 2009(02)
[2]一種基于約束的SPKI/SDSI2.0一致性驗(yàn)證機(jī)制[J]. 耿秀華,韓臻,金礪,何永忠.  北京交通大學(xué)學(xué)報(bào). 2008(02)
[3]基于規(guī)則的受限委派框架[J]. 尹剛,王懷民,史殿習(xí),滕猛.  計(jì)算機(jī)學(xué)報(bào). 2007(09)
[4]細(xì)粒度的基于信任度的可控委托授權(quán)模型[J]. 翟征德,馮登國,徐震.  軟件學(xué)報(bào). 2007(08)
[5]基于信任度的授權(quán)委托模型[J]. 廖俊國,洪帆,朱更明,楊秋偉.  計(jì)算機(jī)學(xué)報(bào). 2006(08)
[6]基于角色訪問控制管理模型的安全性分析[J]. 楊秋偉,洪帆,楊木祥,朱賢.  軟件學(xué)報(bào). 2006(08)



本文編號：2995451