Firewall management with FireWall synthesizer