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

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.