The BNF is used to formalize the packet filtering rules.

• 本文利用巴科斯范式(BNF)对驻留主机防火墙的过滤规则进行了形式化描述。