Dynamic Rule Sequence; Firewall Security Policy; Firewall Verification; Formal Model; Rules Sequence Order;
机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:动态规则和规则域优化,可提高防火墙性能和安全性
机译:关于Beirut规则的思考:20世纪80年代美国外交和安全政策在黎巴嫩的更广泛后果
机译:用动态规则序列自动验证防火墙中的安全策略
机译:用于防火墙配置的自动验证工具
机译:经过验证的iptables防火墙分析和验证
机译:自动验证防火墙配置与安全策略的一致性
机译:防火墙和防火墙策略指南。国家标准与技术研究所的建议