-
题名一种基于位向量交集运算的规则冲突检测算法
被引量：5
- 1
-
-
作者
李林
卢显良
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第2期237-245,共9页
-
基金
信息产业部生产发展基金项目([2002]546)
-
文摘
无论从报文分类算法自身还是从安全角度,规则冲突检测都是一个重要的研究课题.而目前常用的冲突检测算法效率较低.针对这一情况,在ASBV算法基础之上,提出了一种高效的冲突检测算法DBBV.同ASBV算法类似,DBBV算法也采用了分治思想和位向量技术.但与ASBV算法不同,在每一维规则分量处理过程中,DBBV算法只需要进行一次位向量交集运算,而ASBV算法需要进行多次位向量并集运算;DBBV算法支持以范围形式表示的规则集,而ASBV算法只支持以前缀形式表示的规则集.对DBBV算法的正确性进行了证明,测试表明其检测速度快于ASBV算法.
-
关键词
规则冲突
冲突检测
位向量交集
安全漏洞
报文分类
-
Keywords
filters conflict
detecting conflict
intersection of bit vectors
security vulnerability
packet classification
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于动态极大度的极小碰集求解方法
被引量：17
- 2
-
-
作者
张立明
欧阳丹彤
曾海林
-
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第2期209-215,共7页
-
基金
国家自然科学基金项目(60973089
60873148
+10 种基金
60773097
61003101)
吉林省科技发展计划基金项目(20101501
20100185
20090108
20080107)
浙江省自然科学基金项目(Y1100191)
欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)
吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)
吉林大学"985工程"研究生创新基金项目(20080242
20101026)
-
文摘
在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好.
-
关键词
基于模型的诊断
极小碰集
SE-Tree
动态极大度
向量交集
-
Keywords
model-based diagnosis
minimal hitting set
SE-Tree
dynamic maximum degree
intersection of vectors
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
