基于描述逻辑的策略冲突检测方法研究及实现

王晓贺; 蔡国永

首页> 中文期刊> 《计算机工程与科学》 >基于描述逻辑的策略冲突检测方法研究及实现

基于描述逻辑的策略冲突检测方法研究及实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

采用基于策略的方法对安全管理、服务质量等进行监管,已经得到广泛应用.本文提供了一种基于描述逻辑的策略建模方式,将策略定义为两种类型,即授权策略和义务策略;建立策略相关的概念,结合概念之间的关系得到基于描述逻辑的策略模型.策略冲突会导致不一致的系统行为,是策略分析最重要的内容.本文深入研究了不同类型的策略冲突,在所建立的模型基础上提出了一套基于描述逻辑的策略冲突检测方法,并使用推理机Racer举例验证了这种检测方法.

著录项

来源
《计算机工程与科学》 |2008年第6期|106-110|共5页
作者
王晓贺; 蔡国永;
展开▼
作者单位

桂林电子科技大学计算机与控制学院;

广西;

桂林;

541004;

桂林电子科技大学计算机与控制学院;

广西;

桂林;

541004;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
策略建模; 描述逻辑; 策略冲突; 冲突检测; Racer推理机;

相似文献

中文文献
外文文献
专利

1. 基于描述逻辑的工作流冲突检测算法 [J] . 程杰 . 机电工程 . 2008,第003期
2. 基于描述逻辑的RB-RBAC授权规则冲突检测方法 [J] . 于海波 ,车海燕 ,金淳兆 . 计算机科学 . 2006,第010期
3. 基于描述逻辑的策略系统建模方法研究 [J] . 王晓贺 ,蔡国永 . 计算机系统应用 . 2007,第009期
4. 基于快速制图数据库的图形冲突检测方法研究 [J] . 甘雨 . 江苏科技信息 . 2020,第010期
5. 智能家居场景联动中基于知识图谱的隐式冲突检测方法研究 [J] . 肖丁 ,王乾宇 ,蔡铭 . 计算机学报 . 2019,第006期
6. 一种基于着色Petri网的RBAC策略冲突检测方法 [C] . 罗杨 ,梁晓艳 ,夏春和 . 第8届全国计算机支持的协同工作学术会议（CCSCW-2012）暨全国第23届计算机技术与应用学术会议（CACIS-2012） . 2012
7. 基于描述逻辑的访问控制策略冲突检测方法研究 [A] . 黄凤 . 2010

基于描述逻辑的策略冲突检测方法研究及实现

摘要

著录项

相似文献

相关主题

期刊订阅