Stav dette: Firewall design and analysis