机译:经过验证的iptables防火墙分析和验证
Department of Informatics, Technical University of Munich;
Department of Informatics, Technical University of Munich;
Department of Informatics, Technical University of Munich;
Department of Informatics, Technical University of Munich;
Department of Informatics, Technical University of Munich;
Computer networks; Firewalls; Isabelle; Netfilter; Iptables; Semantics; Formal verification;
机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:可重用的验证环境,用于验证以太网IP内核中的以太网数据包,一种验证策略-分析
机译:探索iptables作为应用层防火墙的使用
机译:经过验证的iptables防火墙分析
机译:用于防火墙配置的自动验证工具
机译:经过验证的iptables防火墙分析和验证
机译:验证了iptables防火墙分析和验证