|
|||||
|
|
| 基于Petri网的RBAC策略验证的研究 | |
| 引用本文： | 魏定国,吴时霖. 基于Petri网的RBAC策略验证的研究[J]. 小型微型计算机系统, 2004, 25(5): 827-832 |
| 作者姓名： | 魏定国 吴时霖 |
| 作者单位： | 1. 广东商学院,广东,广州,510320 2. 复旦大学,计算机系,上海,200433 |
| 摘 要： | 本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构．Petri网能够捕获基数、责任分离等约束，而且能对优先和依赖约束进行说明、使用Petri网的可达到性分析技术对RBAC策略进行正确性验证． |
| 关 键 词： | Petri网 RBAC 策略 验证 |
| 文章编号： | 1000-1220(2004)05-0827-06 |
Research on Verification of RBAC Policies Based on Petri-net |
|
| WEI Ding guo ,WU Shi lin. Research on Verification of RBAC Policies Based on Petri-net[J]. Mini-micro Systems, 2004, 25(5): 827-832 | |
| Authors: | WEI Ding guo WU Shi lin |
| Affiliation: | WEI Ding guo 1,WU Shi lin 2 1 |
| Abstract: | The crucial issue of verification of role based access control policies has not been adequately investigated. In this paper, we develop a colored Petri net based policy specification and analysis framework for an RBAC model. The Petri net model can capture all the cardinality and separation of duty constraints. Moreover, the model also allows specification of the precedence and dependency constraints. We use the Petri net reachability analysis technique for verifying correctness of RBAC policies. |
| Keywords: | Petri-net RBAC policy verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |