A Unified Methodology for Verification and Synthesis of Firewall Configurations

@inproceedings{Permpoontanalarp2001AUM,
  title={A Unified Methodology for Verification and Synthesis of Firewall Configurations},
  author={Yongyuth Permpoontanalarp and Chaiwat Rujimethabhas},
  booktitle={ICICS},
  year={2001}
}
Firewalls offer a protection for private networks against external attacks. However, configuring firewalls correctly is a difficult task. There are two main reasons. One is that the effects of a firewall configuration cannot be easily seen during the configuration time. Another one is the lack of guidance to help configuring firewalls. In this paper, we propose a general and unified methodology for the verification and the synthesis of firewall configurations. Our verification methodology… CONTINUE READING
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-7 OF 7 REFERENCES

A Graph-based Methodology for Hardware-based Firewalls, Master Thesis, Department of Computer Engineering, King Mongkut’s University of Technology Thonburi

  • C. Rujimethabhas
  • Bangkok, Thailand,
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…