scientific article; zbMATH DE number 2172823

MaRDI QIDQ4680219zbMATH OpenFDO

Authors A. A. A. Hassan, Ladislav Hudec

Publication date 2 June 2006

zbMATH Keywords

access listsfirewall managementnetwork securitypacket filteringsecurity modelingsecurity policy

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 1983212
• Firewall policy verification and troubleshooting
• Structured firewall design
• scientific article; zbMATH DE number 2173750
• Principles of Distributed Systems

Cited in

(3)

• Firewall policy verification and troubleshooting
• A SAT based verification framework for wireless LAN security policy management supported by STRBAC model
• scientific article; zbMATH DE number 1983212 (Why is no real title available?)

Describes a project that uses

Uses Software

• Firmato

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 Q4680219)