本文采用一种新型分布式防火墙的策略管理方案，即分散生成策略。这种策略管理方案解决了策略控制中心的单点失效问题，但是带来的问题是如何检测这种情况下的策略异常。本文针对这个问题，进行了分析，并就如何快速地，全面地检测策略异常进行了研究。首先设计了一种基于线性搜索的规则集冲突检测算法，此算法能够全面地检测防火墙规则间的冲突；然后，在此算法的基础上，借鉴Al-Shaer，Ehab提出的基于策略树(policy tree)的规则集冲突检测的设计思路，设计了一种基于二叉树(binary tree)的规则集冲突检测算法，此算法不仅能够全面检测防火墙规则冲突，而且规则冲突检测的效率较线性搜索算法和基于policy tree的规则集冲突检测算法有明显的提高。本文用C语言实现了基于线性搜索的规则集冲突检测算法、基于policy tree的规则集冲突检测算法和基于binary tree的规则集冲突检测算法，并用设置的规则集对这三种算法进行了测试。通过对测试结果的综合分析发现，本文设计的基于binary tree的规则集冲突检测算法可以适用于任意维的规则集冲突检测，而且其时间复杂度较线性搜索算法有很大提高(为线性算法的八分之一到九分之一)，与基于policy tree的规则集冲突检测算法相比，其性能也有小幅提升。该算法虽然需要对规则集进行建树操作，但是建树操作所需要的时间和规则冲突检测所需时间相比微不足道。总之，基于binary tree的规则集冲突检测算法是一种快速的、有效的、全面的适用于大规模防火墙的规则集冲突检测算法。最后，就如何进一步提高基于binary tree的规则集冲突检测算法的效率，本文进行了初步的探讨。