基于两级逻辑综合技术的防火墙规则最小化研究

发布时间：2022-01-01 21:29

　　本文首先介绍了一些网络安全方面的知识,说明了防火墙的重要性,讨论了防火墙规则优化的一些研究成果。防火墙规则优化问题是当前研究的热点,也有许多优秀的研究成果,本文只针对防火墙规则集的大小进行关注。本文跟踪Rick McGeer等的最新研究成果,使用两级逻辑综合问题解决防火墙规则最小化问题,这个方法至今在国内还没有看到。将对规则集的TCAM的实施优化策略形式化为一个数字逻辑的问题。首先,将规则扩展为多维体。然后,对规则的目标,找到明确的逻辑函数并与目标相关联,作为一个多维体的集合。最后,使用两级逻辑最小化问题,即最小的序列覆盖算法,来找到一个的最小集合。本文对经典的ESPRESSO算法进行了详细的分析,对其处理过程有了一个比较深入的理解。本文使用加州大学伯克利分校开发的ABC软件,使用其实现的ESPRESSO算法来实现本文的研究问题。通过实验,验证了两级逻辑综合问题解决防火墙规则最小化的可行性,并分析了其他一些相似算法,进行对比。为以后的研究、改进打下基础。 

【文章来源】：南京理工大学江苏省 211工程院校

【文章页数】：85 页

【学位级别】：硕士

【部分图文】：

TCAM与SRAM算法速度比较

一个多维体。每个变量对应一个坐标轴，在这个坐标轴上该变量可以取两个值:0或1。本文用一个简单实例来展示如何将真值表映射到多维体。如表2.1所示是一个全加器进位输出的真值表，把它表示成多维体如图2.2所示。这里用黑点代表开状态项集合中的元素，用白点代表关状态项集合中的元素。表2.1全加器进位输出真值表 AAAAABBBCCCFFF 00000000000000 00000000111000 00000lll000OOO 00000lll111lll lllll000000000 lllll000llllll llllllll000lll llllllllllllll刃

3软件的分析倾卜论文入文件，这里使用后缀为.PIa的输入输出文件。如图3.1所示，这是一个后缀为.Pla的输入文件，它实际上就是非简化表达式的所有最小项的列表。圆琴翼花输入变量的个数，比如，“，b，“。13喻出变量的个数，比如，“，f。02”输入变量名，以空格隔开。 ilbabc”输出函数名，以空格隔开。 obSf”真值表中非零项的数目.ps蟆值表的行“一

【参考文献】：
期刊论文
[1]浅析计算机网络安全威胁及防范措施[J]. 郑彬,王东,王元.  科技信息. 2010(24)
[2]防火墙规则优化[J]. 查婷民,陆松年.  计算机应用与软件. 2008(12)

博士论文
[1]防火墙规则集关键技术研究[D]. 李林.电子科技大学 2009

硕士论文
[1]VHDL高级综合系统中组合逻辑综合的研究与实现[D]. 王文海.安徽大学 2004



本文编号：3562877