Specification-based testing of firewalls

MaRDI QIDQ3043838zbMATH OpenFDO

Authors Jan Jürjens, Guido Wimmel

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440308.htm

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Recommendations

• Specification and verification of security policies in firewalls
• A unified methodology for verification and synthesis of firewall configurations
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
• Network security: formal and optimized configuration
• Test Generation for Network Security Rules

Cited in

(8)

• Verified iptables firewall analysis and verification
• Test Generation for Network Security Rules
• Specification and verification of security policies in firewalls
• A unified methodology for verification and synthesis of firewall configurations
• Network security: formal and optimized configuration
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

This page was built for publication: Specification-based testing of firewalls

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