| 基于着色Petri网的GEO-RBAC策略验证 |
| |
| 引用本文： | 封富君,林闯,李俊山.基于着色Petri网的GEO-RBAC策略验证[J].系统仿真学报,2007,19(A01):118-123. |
| |
| 作者姓名： | 封富君 林闯 李俊山 |
| |
| 作者单位： | [1]清华大学计算机科学与技术系,北京100084 [2]第二炮兵工程学院计算机系,西安710025 |
| |
| 摘 要： | GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。
|
| 关 键 词： | 着色Petri网 GEO-RBAC 策略 验证 |
| 文章编号： | 1004-731X（2007）S1-0118-06 |
| 收稿时间： | 2007-04-10 |
| 修稿时间： | 2007-06-20 |
Verification of GEO-RBAC Policy Based on Colored Petri Net |
| |
| FENG Fu-jun, LIN Chuang, LI Jun-shan.Verification of GEO-RBAC Policy Based on Colored Petri Net[J].Journal of System Simulation,2007,19(A01):118-123. |
| |
| Authors: | FENG Fu-jun LIN Chuang LI Jun-shan |
| |
| Abstract: | GEO-RBAC policy can deal with spatial information. Roles in GEO-RBAC can be classified into role schemas and role instances according to granularity, or spatial roles and non-spatial roles according to dimension, The role assignment in instance level is similar to that in the traditional RBAC, Using colored Petri net we provide a CPN model for the role assignment in schema level and give the method to analyze the state reachability, at last, complete the consistency verification of the GEO-RBAC policy through analyzing the reachability of the corresponding occurrence graph. |
| |
| Keywords: | Colored Petri Net GEO-RBAC policy verification |
| 本文献已被 维普 等数据库收录！ |
|
