Yongyuth Permpoontanalarp, Chaiwat Rujimethabhas. A Unified Methodology for Verification and Synthesis of Firewall Configurations. In Sihan Qing, Tatsuaki Okamoto, Jianying Zhou, editors, Information and Communications Security, Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Volume 2229 of Lecture Notes in Computer Science, pages 328-339, Springer, 2001. [doi]
Abstract is missing.