摘要： 介绍了一种分组过滤的形式化模型,讨论了分组过滤在FreeBSD上的实现以及分组过滤模型在实际编码中的一些应用,并解释了该模型在实现上的有效性。

关键词: 分组过滤, 形式化模型, 函数, 防火墙

Abstract: A formalized packet-filtering model is presented in this paper. By using this model, the author implemented the packet-filtering software on FreeBSD operating system. Some application and effectiveness of this model are also discussed.

中图分类号: 

• TP393.08