基于子图同构的XFA压缩算法设计-计算机科学与技术专业论文.docxVIP

基于子图同构的的XFA压缩算法的设计与应用摘 基于子图同构的的XFA压缩算法的设计与应用 摘 要 网络入侵检测与防御(Network Intrusion Detection／Prevention，NIDP)是信 息安全领域一个重要的技术手段。NIDP的基本原理是预先制定一定的安全策略， 并将安全策略与其检测到的内容进行匹配，如果检测到安全策略不允许的内容， 则拦截或作其他处理。而深度包检测(Deep Packet Inspection，DPI)是实现NIDP 的重要技术。由于正则表达式灵活、高效的特点，其常用于网络安全的DPI。传 统的正则表达式匹配算法实现方式主要基于非确定有限自动机(NFA， Nondeterministic Finite Automaton)和确定有限自动机(DFA，Deterministic Finite Automaton)。 上述两种实现方式在匹配效率和存储空间优化上很难兼得。NFA所需存储空 间很小但是匹配速度很慢；DFA由于匹配速度很快使得DFA方法成为了实现正 则表达式匹配的普遍选择，但DFA的高匹配速度是以可呈指数膨胀的状态空间为 代价的。最近研究者们提出了扩展有限自动机(Extended Finite Automata，XFA)， XFA的主要思想是在某些状态后附加一些额外的指令，对DFA实现压缩。附加 的指令有寄存器置位复位、计数器累加复位等操作。针对一些包含通配符“．秽 的数据具有很大的优化作用。 本文在分析传统正则表达式匹配算法NFA和DFA无法满足高性能需求的原 因的基础上，试图进一步优化XFA。根据对于实际正则表达式数据集的研究，通 过其生成的XFA当中会包含很多相似的结构。本文尝试利用子图同构的原理，提 出将XFA进行分块处理后，对其进行合理的编码，从而进一步存储压缩存储空间， 提升吞吐量。 文中以星形结构为例，使用通过开源正则表达式工具regex转换得到的数据， 进行了三态内容可寻址存储器(Ternary Content Addressable Memory，TCAM)的 仿真实验。实验结果表明，本方法对于一些数据集可以将存储空间压缩至26．8％， 而相同存储量的吞吐量则提高到2．6倍。 关键词：正则表达式匹配；TCAM；扩展有限自动机；子图同构 II 万方数据 硕士学位论文Abstract 硕士学位论文 Abstract Network Intrusion Detection and Prevention(NIDP)is an important technical means in the field of information security．The basic principle of NIDP is to make certain pre-established security policy and check detected content with security policy． If something which is not allowed by security policy is detected，it will be blocked or dealt with other way．The Deep Packet Inspection(DPI)is an important technology to achieve NIDP．Since regular expression is flexible and efficient，it is commonly used in network security DPI．Traditional regular expression matching algorithm implementation is either based on non-deterministic finite automata(NFA， Nondeterministic Finite Automaton)or deterministic finite automata(DFA， Deterministic Finite Automaton)． NFA and DFA can take advantage of matching efficiency and storage optimization at same time．NFA required storage space is small but very slow match； DFA since the match quickly became a realization method makes DFA regular expression match