软件导刊
軟件導刊
연건도간
SOFT WARE GUIDE
2011年
1期
136-137
,共2页
基于属性%访问策略%代数模型%策略合成代数
基于屬性%訪問策略%代數模型%策略閤成代數
기우속성%방문책략%대수모형%책략합성대수
基于属性的访问控制(ABAC)是面向Web Service应用的一种新的访问控制方法.而访问控制策略合成则是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型.用代数表达式形式化地描述聚合资源的访问控制策略,说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求,为聚合资源的访问控制策略评估和应用提供基础.
基于屬性的訪問控製(ABAC)是麵嚮Web Service應用的一種新的訪問控製方法.而訪問控製策略閤成則是確定分佈式聚閤資源訪問控製策略的關鍵.為瞭規範策略閤成和保障策略閤成正確性,基于屬性刻畫瞭實體間的授權關繫,通過屬性值的計算結構擴展瞭現有的策略閤成形式化框架,建立瞭新的基于屬性的策略閤成代數模型.用代數錶達式形式化地描述聚閤資源的訪問控製策略,說明可藉助策略錶達式的代數性質去驗證策略閤成結果是否符閤各方對聚閤資源的保護性需求,為聚閤資源的訪問控製策略評估和應用提供基礎.
기우속성적방문공제(ABAC)시면향Web Service응용적일충신적방문공제방법.이방문공제책략합성칙시학정분포식취합자원방문공제책략적관건.위료규범책략합성화보장책략합성정학성,기우속성각화료실체간적수권관계,통과속성치적계산결구확전료현유적책략합성형식화광가,건립료신적기우속성적책략합성대수모형.용대수표체식형식화지묘술취합자원적방문공제책략,설명가차조책략표체식적대수성질거험증책략합성결과시부부합각방대취합자원적보호성수구,위취합자원적방문공제책략평고화응용제공기출.
