Title :
Towards eliminating configuration errors in cyber infrastructure
Author :
Narain, Sanjai ; Malik, Sharad ; Al-Shaer, Ehab
Author_Institution :
Telcordia Technol., Inc., Piscataway, NJ, USA
fDate :
Oct. 31 2011-Nov. 1 2011
Abstract :
It is well-documented that configuration errors account for 50% to 80% of downtime and vulnerabilities in cyber infrastructure. The ConfigAssure suite of tools has been developed to help eliminate these errors. These tools are for requirement specification, configuration synthesis, diagnosis and repair, verification, reconfiguration planning and visualization. These tools are being made available as a web service that is demonstrated.
Keywords :
Web services; data visualisation; formal specification; formal verification; software tools; ConfigAssure suite; Web service; configuration error elimination; configuration synthesis; cyber infrastructure; diagnosis; reconfiguration planning; requirement specification; verification; visualization; Educational institutions; Engines; Laboratories; Maintenance engineering; Network topology; Security; Visualization; configuration error; diagnosis; reconfiguration planning; repair; specification; synthesis; visualization;
Conference_Titel :
Configuration Analytics and Automation (SAFECONFIG), 2011 4th Symposium on
Conference_Location :
Arlington, VA
Print_ISBN :
978-1-4673-0401-6
Electronic_ISBN :
978-1-4673-0400-9
DOI :
10.1109/SafeConfig.2011.6111678
