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