Test Generation for Network Security Rules

DOI10.1007/11754008_22zbMath1185.68087OpenAlexW1846772810MaRDI QIDQ3434675

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

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)

Related Items (2)

Synthesis of opaque systems with static and dynamic masks ⋮ Dynamic Observers for the Synthesis of Opaque Systems

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