基于角色访问控制的授权约束描述  

RBAC Based Authorization Constraints Specification

作　　者：邢光林[1] 刘卫平[1] 

机构地区：[1]中南民族大学计算机科学学院,武汉430074

出　　处：《中南民族大学学报（自然科学版）》2008年第4期92-95,共4页Journal of South-Central University for Nationalities：Natural Science Edition

基　　金：中南民族大学自然科学基金资助项目(YZZ07008)

摘　　要：提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.An intuitive formal language called RACL was proposed, which specify authorization constraints based on RBAC. RACL is proofed equivalent to a restricted form of first order predicate logic called RFOPL on semantics. At last, we demonstrate the expressive power of RACL by showing how it can be used to express a variety of authorization constraints.

关 键 词：角色 访问控制 约束描述 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]