论文信息 - Towards eliminating configuration errors in cyber infrastructure

Towards eliminating configuration errors in cyber infrastructure

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.

Ehab Al-Shaer | Sharad Malik | Sanjai Narain

[1] Sudip Misra,et al. Guide to Reliable Internet Services and Applications , 2010 .

[2] Sharad Malik,et al. Declarative Infrastructure Configuration Synthesis and Debugging , 2008, Journal of Network and Systems Management.

[3] Harry D. Raduege,et al. Securing Cyberspace for the 44th Presidency , 2008 .

[4] Sharad Malik,et al. Boolean satisfiability from theoretical hardness to practical success , 2009, Commun. ACM.

[5] Butler W. Lampson,et al. 31. Paper: Computer Security in the Real World Computer Security in the Real World , 2022 .

[6] Sanjai Narain,et al. Network Configuration Validation , 2010 .