| 基于角色访问控制的授权约束描述 |
| |
| 引用本文： | 邢光林,刘卫平. 基于角色访问控制的授权约束描述[J]. 中南民族大学学报(自然科学版), 2008, 27(4) |
| |
| 作者姓名： | 邢光林 刘卫平 |
| |
| 作者单位： | 中南民族大学,计算机科学学院,武汉,430074 |
| |
| 基金项目： | 中南民族大学自然科学基金资助项目 |
| |
| 摘 要： | 提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.
|
| 关 键 词： | 角色 访问控制 约束描述 |
RBAC Based Authorization Constraints Specification |
| |
| Xing Guanglin,Liu Weiping. RBAC Based Authorization Constraints Specification[J]. Journal of South-Central Univ for, 2008, 27(4) |
| |
| Authors: | Xing Guanglin Liu Weiping |
| |
| Abstract: | 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. |
| |
| Keywords: | role access control constraint specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《中南民族大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《中南民族大学学报(自然科学版)》下载全文 |
