A model of stateful firewalls and its properties
Analysis of vulnerabilities in Internet firewalls