A quantitative study of firewall configuration errors | Synapse