scientific article; zbMATH DE number 2084352

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

• scientific article; zbMATH DE number 1983212
• scientific article; zbMATH DE number 2080705
• 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
• scientific article; zbMATH DE number 1983212 (Why is no real title available?)
• scientific article; zbMATH DE number 2080705 (Why is no real title available?)
• 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:

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