A Unified Methodology for Verification and Synthesis of Firewall Configurations.

Yongyuth Permpoontanalarp Chaiwat Rujimethabhas A Unified Methodology for Verification and Synthesis of Firewall Configurations. 328-339 2001 conf/icics/2001 ICICS http://link.springer.de/link/service/series/0558/bibs/2229/22290328.htm db/conf/icics/icics2001.html#PermpoontanalarpR01