论文部分内容阅读
针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点，提出一种基于多维整数空间的安全策略形式化描述方法，在此基础上设计了一种可扩展的安全策略冲突检测与消解算法，并证明其正确性，设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT。
基于多维整数空间的安全策略冲突检测与消解
【摘 要】
：
针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点，提出一种基于多维整数空间的安全策略形式化描述方法，在此基础上设计了一种可扩展的安全策略冲突检测与消
【机 构】
：
解放军信息工程大学电子技术学院
【出 处】
：
计算机工程
【发表日期】
：
2009年4期
其他文献
针对齿槽转矩会使电机在运行过程中产生转矩振荡和噪声,影响电机的性能指标的问题,对比抑制齿槽转矩的几种方法,指出极宽调制方法在削弱齿槽转矩方面的可行性。通过有限元建
<正>一、教育背景1.社会角度:一方面,法治是十八大报告中提出的"三个倡导"的核心内容之一,党和政府正致力构建法治主导型社会管理模式;但另一方面,社会诸多领域仍存在无法可
上世纪70年代末改革开放以来,我国经济高速发展着。但在经济快速发展的同时,我国行业间的收入差距也在不断扩大。行业间收入差距的过分扩大是与我国构建社会主义和谐社会的目
CPU的功耗近似地与它的供电电压平方和工作频率成正比。随着CPU主频的提高，为了降低功耗，必须降低其供电电压。而为了得到更快的运算速度并保证CPU对功率越来越高的要求，CPU的供
结合标准修订工作,对GB 50144《工业建筑可靠性鉴定标准》的发展历程进行回顾,重点阐述新修订的GB 50144的主要内容,并对工业建筑可靠性鉴定主要研究方向进行展望。
目的探讨茵栀黄口服液对蛋氨酸胆碱缺乏(MCD)饮食诱导的非酒精性脂肪性肝炎(NASH)大鼠肝脂肪变的保护作用。方法将30只大鼠随机均分为对照组、MCD组和茵栀黄灌胃组。给予对照
针对汽车天窗驱动电机额定指标确定困难的问题,利用样机实测的结构参数并结合电机磁路计算中的主要系数,建立汽车天窗驱动电机电磁计算模型,并得到初始设计方案。在此基础上,
针对Rabin-OAEP算法在自适应选择密文攻击下是否安全，采用Adversary和Simulator进行的合理交互，论证“分解大整数N=pq是困难的（其中P，q为2个大素数），则Rabin-OAEP算法在自适应选择
利用欧氏距离范数描述图像的位置相关性,提出一种图像置乱效果评价方法。对Arnold变换和M序列变换2种置乱算法的置乱效果进行评价,实验结果表明,该评价方法能较好地刻画图像的置乱程度,反映了置乱次数和图像置乱程度之间的关系,与主观评价结果相吻合。