Towards eliminating configuration errors in cyber infrastructure

Author

Narain, Sanjai ; Malik, Sharad ; Al-Shaer, Ehab

Author_Institution

Telcordia Technol., Inc., Piscataway, NJ, USA

fYear

2011

fDate

Oct. 31 2011-Nov. 1 2011

Firstpage

1

Lastpage

2

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SafeConfig.2011.6111678

Filename

6111678