Test Generation for Network Security Rules

DOI10.1007/11754008_22MaRDI QIDQ3434675zbMATH OpenOpenAlexFDO

Authors Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11754008_22

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• scientific article; zbMATH DE number 2084352
• scientific article; zbMATH DE number 1983212
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
• Network security: formal and optimized configuration
• Model-Based Testing for Functional and Security Test Generation

Cited in

(3)

• scientific article; zbMATH DE number 2084352 (Why is no real title available?)
• Dynamic Observers for the Synthesis of Opaque Systems
• Synthesis of opaque systems with static and dynamic masks

This page was built for publication: Test Generation for Network Security Rules

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