Firewall Design and Analysis