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