摘要
提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑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.
出处
《中南民族大学学报（自然科学版）》
CAS
2008年第4期92-95,共4页
Journal of South-Central University for Nationalities：Natural Science Edition
基金
中南民族大学自然科学基金资助项目(YZZ07008)
关键词
角色
访问控制
约束描述
role
access control
constraint specification
