Improving the configuration management of large network security systems.