Simplifying Firewall Setups by Using Offline Validation
Security problems in the TCP/IP protocol suite