Firewalls; Algebra; iptables; Anomalies; Policy-composition;
机译:通过优化和组合来推理防火墙策略
机译:基于精炼的流水线机器验证组成推理框架
机译:基于分类和可逆指标的防火墙策略代表性测试框架
机译:通过改进和构图来推理防火墙政策
机译:防火墙策略图:用于网络防火墙建模,分析和理解的新颖数据结构和算法。
机译:通用防火墙策略的徒劳:实验性演示。
机译:通过细化和组合来推理防火墙策略
机译:防火墙和防火墙策略指南。国家标准与技术研究所的建议