基于语义相似度的静态安全策略一致性检测

作     者：唐成华 王丽娜 强保华 汤申生 张鑫 TANG Cheng-hua;WANG Li-na;QIANG Bao-hua;TANG Shen-sheng;ZHANG Xin

作者机构：桂林电子科技大学广西信息科学实验中心桂林541004 桂林电子科技大学广西可信软件重点实验室桂林541004 西密苏里州立大学电子工程学院圣约瑟夫64507 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2015年第42卷第8期

页      面：166-169,197页

学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(61462020 61363006 61163057) 广西自然科学基金(2014GXN SFAA118375) 广西信息科学实验中心基金(20130329)资助 

主　　题：安全策略 语义相似度 语义一致性 领域本体 特征因子 

摘      要：安全策略语义是人类控制安全行为意志的表达。针对策略语义在定义和转换过程中存在的冲突等问题,提出一种基于语义相似度的静态安全策略一致性检测模型与算法。首先建立策略领域本体并提取特征因子,给出基于本体中概念特征的语义相似度计算方法;继而以防火墙安全策略为例建立实例检测模型,运用静态安全策略一致性检测算法对冲突策略进行标记处理,并保证最终的策略规则库的一致性。实验结果表明,该算法具有较好的检测效果,为解决安全策略在定义、制定和映射等阶段的冲突提供了一种可行的途径。