SMT solver; computer security; distributed firewall configuration; formal verification; security policy;
机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:分布式防火墙环境的智能安全架构
机译:分布式防火墙环境的智能安全架构
机译:自动一致性验证分布式防火墙到安全要求。
机译:用于防火墙配置的自动验证工具
机译:经过验证的iptables防火墙分析和验证
机译:自动验证防火墙配置与安全策略的一致性