A model of stateful firewalls and its properties
Fang: a firewall analysis engine