计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
36期
244-248
,共5页
基于角色的访问控制%转授权冲突%约束规则%约束描述语言%一阶谓词逻辑
基于角色的訪問控製%轉授權遲突%約束規則%約束描述語言%一階謂詞邏輯
기우각색적방문공제%전수권충돌%약속규칙%약속묘술어언%일계위사라집
针对现有用户-用户的角色转授权模型存在授权冲突问题,基于转授权的组件、相关性质以及约束规则,提出了一种约束转授权模型,该模型满足最小特权和职责分离两安全原则,给出了该模型的体系架构和功能描述;以此模型为背景介绍了一种约束描述语言及其形式化语义描述;通过规约算法和构造算法论证了它与严格形式上的一阶谓词逻辑是等价的,并对该约束语言的合理性和完整性进行了讨论;最后用该约束语言给出了模型的表现能力,较好的解决了转授权冲突问题.
針對現有用戶-用戶的角色轉授權模型存在授權遲突問題,基于轉授權的組件、相關性質以及約束規則,提齣瞭一種約束轉授權模型,該模型滿足最小特權和職責分離兩安全原則,給齣瞭該模型的體繫架構和功能描述;以此模型為揹景介紹瞭一種約束描述語言及其形式化語義描述;通過規約算法和構造算法論證瞭它與嚴格形式上的一階謂詞邏輯是等價的,併對該約束語言的閤理性和完整性進行瞭討論;最後用該約束語言給齣瞭模型的錶現能力,較好的解決瞭轉授權遲突問題.
침대현유용호-용호적각색전수권모형존재수권충돌문제,기우전수권적조건、상관성질이급약속규칙,제출료일충약속전수권모형,해모형만족최소특권화직책분리량안전원칙,급출료해모형적체계가구화공능묘술;이차모형위배경개소료일충약속묘술어언급기형식화어의묘술;통과규약산법화구조산법론증료타여엄격형식상적일계위사라집시등개적,병대해약속어언적합이성화완정성진행료토론;최후용해약속어언급출료모형적표현능력,교호적해결료전수권충돌문제.