首页> 中文会议>第十一届全国Petri网理论与应用学术年会 >基于着色Petri网的GEO-RBAC策略验证

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第十一届全国Petri网理论与应用学术年会》|2007年|118-123|共6页
会议地点大连
作者
封富君; 林闯; 李俊山;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类可计算性理论;
关键词
着色Petri网; GEO-RBAC策略; 验证; 访问控制; 角色分配; 可达性分析;

相似文献

中文文献
外文文献
专利

1. 基于着色Petri网的GEO-RBAC策略验证 [J] . 封富君 ,林闯 ,李俊山 . 系统仿真学报 . 2007,第A01期
2. 基于时间着色Petri网的SIP协议验证与分析 [J] . 刘靖 ,叶新铭 ,马元飞 . 计算机科学 . 2014,第007期
3. 基于着色Petri网的列控系统规范验证 [J] . 黄勍 ,张岩 . 城市轨道交通研究 . 2013,第011期
4. 基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证 [J] . 杨年华 ,虞慧群 . 华东理工大学学报（自然科学版） . 2010,第003期
5. 基于着色Petri网的TCP协议的形式化描述及验证 [J] . 李菲 . 现代计算机（专业版） . 2009,第006期
6. 基于随机着色Petri网的TCP数据传输验证和性能分析 [C] . Zhang Shengcai ,张生财 . 2012（第五届)全国网络与信息安全学术会议 . 2012
7. 基于着色Petri网的建模和模型性质分析验证的研究 [A] . 张志强 . 2012

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

摘要

著录项

相似文献

相关主题

期刊订阅