一种基于着色Petri网的RBAC策略冲突检测方法

发布时间：2020-03-02 14:15

【摘要】：RBAC模型通过角色的概念实现了用户和权限的分离,然而在角色继承和权限分配时可能会引发策略冲突.策略冲突可能会导致资源的非授权访问,进而影响系统的安全性.为了检测RBAC模型中的策略冲突,本文首先对策略冲突进行了分类,提出了基于着色Petri网的RBAC策略冲突检测方法,将RBAC模型转化为着色Petri网模型,利用冲突陷阱进行检测.进而设计实现了RBAC策略冲突检测原型系统CPNPCDS,说明了模型的可终结性,并在检测策略冲突的种类与运行效率上与其它经典方法做了对比.实验结果表明本方法可以有效地检测出授权冲突、职责分离冲突、用户基数冲突等三种策略冲突,并能取得较高的运行效率.

【参考文献】

相关期刊论文 前3条

1 姚键 ,茅兵 ,谢立;一种基于有向图模型的安全策略冲突检测方法[J];计算机研究与发展;2005年07期

2 张雷;向宏;胡海波;;基于语义的RBAC模型权限冲突检测方法[J];计算机工程与应用;2011年26期

3 李金双;常桂然;;HARBAC:基于分级管理思想的RBAC层级管理模型[J];小型微型计算机系统;2009年07期

【共引文献】

相关期刊论文 前10条

1 李凤华;苏斢;史国振;马建峰;;访问控制模型研究进展及发展趋势[J];电子学报;2012年04期

2 李丽宁;朱俊平;李书琴;景旭;李亮;;MLTS-RBAC模型在SaaS中的农业信息服务应用[J];广东农业科学;2013年18期

3 吴丹;危胜军;;基于模型检测的策略冲突检测方法[J];电子科技大学学报;2013年05期

4 唐成华;余顺争;;基于特征的网络安全策略验证[J];计算机研究与发展;2009年11期

5 梅芳;刘衍珩;张旭利;古天野;王旺;;移动网络资源管理策略的动态冲突消解机制[J];吉林大学学报(工学版);2009年02期

6 翟浩良;韩道军;李磊;;基于逻辑和辩论的安全策略一致性研究[J];计算机科学与探索;2012年04期

7 马晓普;李争艳;鲁剑锋;;访问控制策略描述语言与策略冲突研究[J];计算机工程与科学;2012年10期

8 宫中伟;杨海成;莫蓉;;工程变更雪崩传播的预测方法[J];航空制造技术;2013年05期

9 李瑞轩;鲁剑锋;李添翼;辜希武;唐卓;;一种访问控制策略非一致性冲突消解方法[J];计算机学报;2013年06期

10 王超;陈性元;;一种基于信息流图的共谋访问风险控制模型[J];计算机工程;2013年08期

相关会议论文 前1条

1 贾新茹;冀平;王红爱;张志强;;基于角色委托的RBAC模型在TRS系统的应用[A];第八届中国智能交通年会论文集[C];2013年

相关博士学位论文 前4条

1 焦素云;基于概念格的动态策略存取模型[D];吉林大学;2011年

2 皮建勇;分布式并行系统若干安全技术的研究[D];电子科技大学;2008年

3 梅芳;基于策略的移动网络自主管理机制研究[D];吉林大学;2010年

4 李赤松;访问控制中授权一致性问题的研究[D];华中科技大学;2012年

相关硕士学位论文 前10条

1 朱耀强;网格安全策略冲突检测及其消解机制的研究[D];长春工业大学;2010年

2 潘国栋;基于CORBA的信息系统安全组件管理研究[D];西安电子科技大学;2009年

3 李文博;KYLIN操作系统中灵活角色管理的研究与实现[D];国防科学技术大学;2010年

4 李添翼;多策略支持下的策略冲突检测与消解研究[D];华中科技大学;2011年

5 晏鸿敏;基于UML和镜像策略的3G无线网络镜像技术研究[D];上海交通大学;2011年

6 骆琴;基于策略的服务计算安全模型研究[D];山东师范大学;2012年

7 李冠;云安全策略冲突检测机制研究[D];长春工业大学;2011年

8 吕可达;基于策略的资费规则冲突检测系统的研究与实现[D];北京邮电大学;2006年

9 魏雁平;基于有向图覆盖关系的安全策略冲突检测模型[D];四川大学;2006年

10 卓碧华;EasySMS短信收发系统中间件技术研究[D];四川大学;2006年

【二级参考文献】

相关期刊论文 前7条

1 胡金柱;陈娟娟;;RBAC模型中角色的继承与互斥问题的研究[J];计算机科学;2003年11期

2 于海波;车海燕;金淳兆;;基于描述逻辑的RB-RBAC授权规则冲突检测方法[J];计算机科学;2006年10期

3 李栋栋,谭建龙;基于本体的权限管理系统的研究与实现[J];计算机工程;2005年13期

4 孙小林;卢正鼎;李瑞轩;王治刚;陈新华;;角色访问控制中基于描述逻辑的角色互斥实现[J];计算机工程与科学;2007年09期

5 翟征德;;基于量化角色的可控委托模型[J];计算机学报;2006年08期

6 邓集波,洪帆;基于任务的访问控制模型[J];软件学报;2003年01期

7 徐震,李斓,冯登国;基于角色的受限委托模型[J];软件学报;2005年05期

【相似文献】

相关期刊论文 前10条

1 李鼎;鲁柯;周保群;赵彬;;一种基于逻辑编程的防火墙规则形式化分析方法[J];信息工程大学学报;2009年02期

2 倪悦;范玉顺;;基于着色Petri网的语义Web服务组合形式化验证[J];清华大学学报(自然科学版);2010年05期

3 陈金峰,刘惠义;基于着色Petri网的多Agent交互[J];计算机应用与软件;2005年10期

4 刘进;陈丹;肖德宝;;基于着色petri网的安全协议验证方法[J];华中师范大学学报(自然科学版);2006年03期

5 时梅林;张宜军;;基于着色Petri网的交换式局域网仿真[J];中国新通信;2009年13期

6 肖兵,瞿坦,王明哲;着色Petri网及其在系统建模与仿真中的应用[J];计算机工程;2001年01期

7 张鹏程,李人厚,秦明,田锋,顾新华;混合式应用共享机制模型的研究[J];小型微型计算机系统;2003年07期

8 刘惠义,吴继锋;报文审批系统的赋时着色PN建模[J];微机发展;2005年05期

9 孙美凤;龚俭;;网络入侵检测规则的冲突检测和解决[J];东南大学学报(自然科学版);2006年04期

10 王琳;滕玲莹;;基于多域环境的安全策略冲突检测模型研究[J];西南民族大学学报(自然科学版);2008年04期

相关会议论文 前1条

1 蔡元沛;邢薇;沙宁;;面向RIA的离线并发控制的研究[A];黑龙江省计算机学会2009年学术交流年会论文集[C];2010年

相关重要报纸文章 前6条

1 美国《Network World》专栏作家 Kevin Tolly;以太网异说[N];网络世界;2003年

2 ;SQL Anywhere 让数据轻松留痕[N];中国高新技术产业导报;2001年

3 武孟军;慎选传输模式[N];电脑报;2004年

4 beijing;防范MAC、IP盗网贼[N];电脑报;2005年

5 石立;一次网络风暴经历[N];中国计算机报;2001年

6 ;以太网和IEEE 802.3[N];人民邮电;2002年

相关博士学位论文 前10条

1 陈文惠;防火墙系统策略配置研究[D];中国科学技术大学;2007年

2 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年

3 卢亚辉;工作流系统的访问控制模型及其安全性分析的研究[D];清华大学;2008年

4 金莉;面向多域的安全互操作机制研究[D];华中科技大学;2009年

5 田大新;网络安全中若干问题的研究[D];吉林大学;2007年

6 张剑寅;Web服务冲突动态检测和解决方法的研究[D];北京邮电大学;2007年

7 刘虎兴;面向服务的铁路调度系统集成及复杂业务处理研究[D];北京交通大学;2010年

8 陈溪源;基于角色的访问控制在分布式环境下应用的关键问题研究[D];浙江大学;2010年

9 焦素云;基于概念格的动态策略存取模型[D];吉林大学;2011年

10 李赤松;访问控制中授权一致性问题的研究[D];华中科技大学;2012年

相关硕士学位论文 前10条

1 范鹏;基于策略的QoS网络管理系统中策略管理工具的研究与设计[D];吉林大学;2004年

2 姜琳;基于概念格的策略分类与冲突检测研究[D];吉林大学;2006年

3 吴晓刚;防火墙配置的异常检测与优化研究[D];广州大学;2007年

4 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年

5 吴蓓;自适应策略管理框架及关键技术研究[D];中国人民解放军信息工程大学;2005年

6 赵阳;计算机支持的协同工作中的并发控制研究[D];山东师范大学;2006年

7 贾彦博;基于Web的协同设计中冲突问题的研究[D];哈尔滨理工大学;2007年

8 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年

9 崔雪;IPSec安全策略冲突检测算法的研究[D];华中科技大学;2007年

10 胡海艳;基于概念格的动态策略存取模型[D];吉林大学;2009年

，

本文编号：2584339