计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
2期
428-432
,共5页
授权管理模型%可达性分析%属性%角色%用户-角色委派
授權管理模型%可達性分析%屬性%角色%用戶-角色委派
수권관리모형%가체성분석%속성%각색%용호-각색위파
authorization management model%reachability analysis%attribute%role%user-role assignment
针对传统基于角色的访问控制(RBAC)管理模型难以表达多样化策略的问题,提出了基于属性的用户-角色委派(ABURA)模型,采用属性作为用户-角色委派的先决奈件,丰富了RBAC管理策略的语义.用户-角色可达性分析是验证分布式系统中授权管理策略正确性的重要机制,定义了ABURA模型的用户确色可达性分析问题,通过分析ABURA模型状态转换特点给出策略约减定理,设计了可达性分析算法,并通过实例对算法进行了验证.
針對傳統基于角色的訪問控製(RBAC)管理模型難以錶達多樣化策略的問題,提齣瞭基于屬性的用戶-角色委派(ABURA)模型,採用屬性作為用戶-角色委派的先決奈件,豐富瞭RBAC管理策略的語義.用戶-角色可達性分析是驗證分佈式繫統中授權管理策略正確性的重要機製,定義瞭ABURA模型的用戶確色可達性分析問題,通過分析ABURA模型狀態轉換特點給齣策略約減定理,設計瞭可達性分析算法,併通過實例對算法進行瞭驗證.
침대전통기우각색적방문공제(RBAC)관리모형난이표체다양화책략적문제,제출료기우속성적용호-각색위파(ABURA)모형,채용속성작위용호-각색위파적선결내건,봉부료RBAC관리책략적어의.용호-각색가체성분석시험증분포식계통중수권관리책략정학성적중요궤제,정의료ABURA모형적용호학색가체성분석문제,통과분석ABURA모형상태전환특점급출책략약감정리,설계료가체성분석산법,병통과실례대산법진행료험증.