论文部分内容阅读
针对XACML策略间的语义表示、冲突等问题，提出基于描述逻辑的形式化方法，对XACML策略的目标、规则、规则组合算法和策略冲突消解算法进行形式化处理，并给出基于描述逻辑的规则间冲突检测方案。分析结果表明，该形式化方法便于XACML策略的扩展，并且增强了XACML的语义表达能力和推理能力。
基于描述逻辑的XACML策略研究
【摘 要】
：
针对XACML策略间的语义表示、冲突等问题，提出基于描述逻辑的形式化方法，对XACML策略的目标、规则、规则组合算法和策略冲突消解算法进行形式化处理，并给出基于描述逻辑的规则间
【机 构】
：
湖南科技学院计算机系,上海大学计算机工程与科学学院
【出 处】
：
计算机工程
【发表日期】
：
2013年4期
其他文献
在我们现有的中职综合布线教学中，对网络综合布线的教学作为重点，但现实中网络综合布线只是综合布线系统线其中的一部分。本文就中职综合布线发展趋势谈谈自己的观点。
目的探讨护理专案在保持手术患者术后送病房前衣裤整洁率的效果。方法成立专案小组,制定专案改善方案,按步骤实施,比较实施前后手术室对保持手术患者术后送病房前的衣裤整洁
多输入多输出（MIMO）系统性能优劣依赖于信道的相关特性，空分复用技术适用于低相关信道，而波束形成技术适用于高相关信道。依据上述信道相关特性，提出一种基于信道特征值分布的自适
对于片上系统（SoC）架构设计,寄存器传送级建模仿真速度慢,而采用C语言建模达不到所需的精度要求。针对上述问题,基于电子系统级（ESL）设计方法,提出一种通用的周期精确/位精确的高
本系统就是为促进3G增值业务发展设计的渠道平台，落实流量经营思路的重要举措。设计内容上包括前台统一门户、用户后台管理、系统后台管理等功能模块的详细设计。