Firewalls design and analysis - Liu, Alex X. (World Scientific, 2011)