The BNF is used to formalize the network access control rules.

• 文中还运用巴科斯范式对主机防火墙的网络访问控制规则进行了形式化描述。