The BNF is used to formalize the packet filtering rules.
本文利用巴科斯范式(BNF)对驻留主机防火墙的过滤规则进行了形式化描述.
网络文摘精选
This article tried to formalize the basic theoretic structure for the further research.
本文试图为进一步研究构筑基本理论结构.
网络文摘精选
Design Rules to formalize and communicate that architecture to your entire development organization.
范它,并使用它和整个开发团队进行沟通.
网络文摘精选
The BNF is used to formalize the network access control rules.
文中还运用巴科斯范式对主机防火墙的网络访问控制规则进行了形式化描述.
网络文摘精选
Formalize a testing methodology; you'll test everything the same way and you'll get uniform results.
固化你的测试方法, 使用相同的方式测试所有的东西,这样你会得到一致的测试结果.
网络文摘精选
To formalize the virtual process, we introduce service function unit.
为了能够形式化的表示虚拟流程,本文引入了服务功能单元。
互联网摘选
为了形式化验证数字现金的安全性,本文在经典一阶逻辑的基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型。
互联网摘选
