Guttman et al., 2005
ViewPDF| Publication | Publication Date | Title |
|---|---|---|
| Guttman et al. | Rigorous automated network security management | |
| Guttman | Filtering postures: Local enforcement for global policies | |
| Hamza et al. | Clear as MUD: Generating, validating and applying IoT behavioral profiles | |
| Beckett et al. | Control plane compression | |
| Liu et al. | Diverse firewall design | |
| US8135815B2 (en) | Method and apparatus for network wide policy-based analysis of configurations of devices | |
| US7003562B2 (en) | Method and apparatus for network wide policy-based analysis of configurations of devices | |
| Bringhenti et al. | Improving the formal verification of reachability policies in virtualized networks | |
| Uribe et al. | Automatic analysis of firewall and network intrusion detection system configurations | |
| Al-Shaer | Automated firewall analytics: Design, configuration and optimization | |
| Senn et al. | Firewall conformance testing | |
| Fu et al. | Automatic generation of ipsec/vpn security policies in an intra-domain environment | |
| Guttman | Security goals: Packet trajectories and strand spaces | |
| Katsis et al. | NEUTRON: a graph-based pipeline for zero-trust network architectures | |
| Bera et al. | Policy based security analysis in enterprise networks: A formal approach | |
| Feamster et al. | Towards a logic for wide-area Internet routing | |
| Khelf et al. | Ipsec/firewall security policy analysis: A survey | |
| Souayeh et al. | A fully automatic approach for fixing firewall misconfigurations | |
| Liu | Firewall policy change-impact analysis | |
| Guttman et al. | Authentication and confidentiality via IPsec | |
| Liu | Firewall design and analysis | |
| Ranathunga et al. | Identifying the missing aspects of the ANSI/ISA best practices for security policy | |
| Halder et al. | A graph based formalism for detecting flow conflicts in software defined network | |
| Shi | Improving network policy enforcement using natural language processing and programmable networks | |
| Sviridov et al. | AutoNet: Automatic Reachability Policy Management in Public Cloud Networks |