【摘 要】
：
安全策略语义是人类控制安全行为意志的表达.针对策略语义在定义和转换过程中存在的冲突等问题,提出一种基于语义相似度的静态安全策略一致性检测模型与算法.首先建立策略领
【机 构】
：
桂林电子科技大学广西信息科学实验中心,桂林电子科技大学广西可信软件重点实验室,西密苏里州立大学电子工程学院
论文部分内容阅读
安全策略语义是人类控制安全行为意志的表达.针对策略语义在定义和转换过程中存在的冲突等问题,提出一种基于语义相似度的静态安全策略一致性检测模型与算法.首先建立策略领域本体并提取特征因子,给出基于本体中概念特征的语义相似度计算方法;继而以防火墙安全策略为例建立实例检测模型,运用静态安全策略一致性检测算法对冲突策略进行标记处理,并保证最终的策略规则库的一致性.实验结果表明,该算法具有较好的检测效果,为解决安全策略在定义、制定和映射等阶段的冲突提供了一种可行的途径.
其他文献
K-medoids算法对初始中心点敏感,不能有效地对动态数据进行聚类,且需要对相关的隐私数据进行保护。针对这些问题,提出了基于差分隐私保护的KDCK-medoids动态聚类算法。该算法
摘要：幼儿教师工作在幼教的第一线，时刻面对着要解决的教育教学问题，面对着正在发展的儿童，有着理论工作者无法比拟的实践条件和机会。如何做好新课改下的研究型教师，在幼儿的教育教学实践中，我进行了大胆的尝试，并收到了较好的效果。关键词：新课改；研究型；教师中图分类号：G610 文献标识码：A 文章编号：1006-3315（2015）08-116-001有这样一个故事：美国总统派柯利尔去解决“印第安人问题
采用浸渍法将活性氧化钙颗粒负载在介孔二氧化硅(KIT-6)表面,制备了酯交换反应催化剂CaO/KIT-6,并研究了其在大豆油与甲醇酯交换制备生物柴油反应中的催化性能。通过X射线衍
由于现有的某些去噪模型仅对某种噪声特别有效,而对其它类型噪声的效果却不够显著,因此提出一种能有效地去除多种噪声的变分模型,它融合了几种经典去噪模型的优点,并在数值求解时采用了高效且无条件稳定的AOS算法。数值实验表明,与现有的一些去噪方法相比,提出的去噪方法耗时少且效果更好。最后给出了解的存在性证明。
疫情期间,全国开展了线上教学,这给机械制图的教学工作提出了新的挑战。本文分析了借助课堂提问和教学评价来提升教学水平的策略。
稳定高效双金属催化剂的研究对于合成气直接合成乙醇具有重大意义,但也存在一定的挑战。本研究采用尿素辅助凝胶法和初湿浸渍法,制备了系列RhCu/P25双金属催化剂,并进行合成
在复杂网络问题的研究中,众多聚类算法的横向比较与改进研究方面的工作在近几年吸引了大量注意并得到深入研究。其中,基于模块度的算法被广泛应用,而模块度也作为评价聚类的
政府提倡“大众创业,万众创新”。电子信息类课程应当实施创新性改革,将学生作为教学主体,从实践基地、教学方法、教学内容等方面采取改革措施,提升学生工程开发能力,培养学
目的:探究64 排双源CT 肺血管造影在肺动脉栓塞临床诊断中的应用价值。方法:选取我院收治的肺动脉栓塞患者60 例展开本次的研究,分别以AX(X 射线血管造影系统X-ray angiograp
在泛IP化时代,打造IP成为当下众多品牌的选择,一个好的IP可以成为品牌营销的利器。将IP形象引入包装设计中,从视觉的角度引起消费者的兴趣与关注,为品牌带来源源不断的价值。