A Unified Methodology for Verification and Synthesis of Firewall Configurations.

Yongyuth Permpoontanalarp, Chaiwat Rujimethabhas

Browse the full ICICS paper archive.