Verifying Security Gateways...