Network security: formal and optimized configuration

DOI10.3233/978-1-60750-629-4-229MaRDI QIDQ5392411zbMATH OpenFDO

Authors Marfall N. Fall, Mohamed Mejri

Publication date 11 April 2011

Full work available at URL https://doi.org/10.3233/978-1-60750-629-4-229

zbMATH Keywords

enforcementfirewallsoptimizationsecurity policy

Mathematics Subject Classification ID

Computer system organization (68M99)

Recommendations

• A unified methodology for verification and synthesis of firewall configurations
• Specification and verification of security policies in firewalls
• Firewall policy verification and troubleshooting
• Specification-based testing of firewalls
• Firewall queries

Cited in

(6)

• Network design and defence
• Specification-based testing of firewalls
• Test Generation for Network Security Rules
• Specification and verification of security policies in firewalls
• A unified methodology for verification and synthesis of firewall configurations
• Principles of secure network systems design

This page was built for publication: Network security: formal and optimized configuration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5392411)