The Role and Security of Firewalls in IaaS Cloud Computing
A model of stateful firewalls and its properties