摘要：通过对包过滤技术的基本原理进行简要分析，从实现包过滤功能的基本流程出发，本文提出了包过滤型防火墙的形式化模型，结合FreeBSD处理数据包，利用状态监测缓存，使用哈希表提高包过滤规则匹配效率，并根据小型网络系统的安全需求、安全策略介绍了基于FreeBSD操作系统的防火墙设计、系统配置与初步的实现。

关键词：防火墙 包过滤 状态检测 freebsd 

单位：华中科技大学计算机科学与技术学院; 湖北武汉430074