Firewall design and analysis - Liu, Alex X. (Computer and network security, 2011)