A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
FIREMAN: a toolkit for firewall modeling and analysis
2006
2006 IEEE Symposium on Security and Privacy (S&P'06)
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are very common and significantly weaken the desired security. This paper introduces FIREMAN, a static analysis toolkit for firewall modeling and analysis. By treating firewall configurations as specialized programs, FIREMAN applies static analysis techniques to check misconfigurations, such as policy violations,
doi:10.1109/sp.2006.16
dblp:conf/sp/YuanMSCCM06
fatcat:67wnfy3z5nbvtjnje5hwa4pit4