首先分析基于良定义理论的专家系统技术,并设计生成具有良定义结构的包过滤规则的方法,然后设计能完成无歧义性推理的推理机模块,最后给出防火墙的良定义性分析,达到实现智能、精确的安全保护的目的。