%0 Journal Article %T 基于角色访问控制的授权约束描述 %A 邢光林 %A 刘卫平 %J 中南民族大学学报(自然科学版) %D 2008 %X 提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力. %K 角色 %K 访问控制 %K 约束描述 %U http://znzk.scuec.edu.cn/ch/reader/view_abstract.aspx?file_no=200804125&flag=1