国家自然科学基金(60873002)
- 作品数：5 被引量：28H指数：2
- 相关作者：王培凤李莉高庆狮胡玥郭莉更多>>
- 相关机构：北京科技大学中国科学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 巨型多不确定串匹配完全自动机及其快速生成算法被引量：2
- 2011年
- 在串匹配搜索中,字符串常常采用U-不确定串、V-不确定串及其结合的U-V-不确定串.如何识别巨量U-不确定字符串、V-不确定字符串和U-V-不确定字符串,以及两个和两个以上U-V-不确定字符串的交错情况的串匹配,是没有遗漏地检测有害信息的关键问题.本文提出一个快速检测巨量U-不确定字符串、巨量V-不确定字符串和巨量U-V-不确定字符串的多串匹配完全自动机及其快速生成方法,包括两个和两个以上不确定字符串相互交错的情况;并且给出V-不确定字符串的完全自动机的最大并行台数,指出通常正则表达式匹配可能出现相似连接和交错情况的两种遗漏,指出如果没有从整体的角度对U-不确定串中的字符子串集进行两两不相交化及无同源后续奇点化的处理,结果就可能出现错误或者增加状态数目.
- 胡玥高庆狮郭莉王培凤
- 一种改进的多模式匹配算法在Snort中的应用被引量：8
- 2012年
- 模式匹配算法是入侵检测系统的重要组成部分。为进一步提高入侵检测系统的性能和效率,提出一种新的多模式匹配算法——完全自动机匹配算法(CA-AC算法),并将其应用于入侵检测系统Snort中。该算法是对Aho-Corasick算法的改进,根据新算法进行状态转换使得自动机状态减少,相应节约了存储空间。分析了算法的复杂度。实验表明,完全自动机算法在Snort中的应用改进了算法的性能,提高了Snort系统的规则检测效率。
- 王培凤李莉
- 关键词：入侵检测字符串匹配SNORT
- 基于Aho-Corasick算法的多模式匹配算法研究被引量：17
- 2011年
- 通过分析模式匹配算法在网络入侵检测中的重要作用和所面临的问题,对Aho-Corasick基于自动机的算法和以Aho-Corasick算法为基础的相关算法进行了分析,并通过实验对多种多模式匹配算法进行综合对比,最后对多模式匹配方法的发展趋势进行了展望。
- 王培凤李莉
- 关键词：AHO-CORASICK算法多模式匹配自动机
- 集合代数是经典命题演算形式系统的语义解释
- 2010年
- 经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的。逻辑代数和集合代数都是布尔代数,都是CPC的解释。集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵、逻辑等价的解释就是集合包含和集合相等=。标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用。CPC完全适用于概率命题演算。
- 刘宏岚高庆狮杨炳儒
- 关键词：同态
