基于着色Petri网的GEO-RBAC策略验证

摘要：

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证.

关键词： 着色Petri网 GEO-RBAC策略 验证 访问控制 角色分配 可达性分析

作者: 封富君 林闯 李俊山

作者单位: 清华大学计算机科学与技术系 北京 100084;第二炮兵工程学院计算机系 西安 710025 清华大学计算机科学与技术系 北京 100084 第二炮兵工程学院计算机系 西安 710025

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 118-123

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）