|
12/6/2007: 152:00—15:50 at Glasgow East 117
Component configuration is the fundamental operation for setting up network infrastructure to meet end-to-end requirements. Components have a finite number of configuration parameters set to definite values. Requirements involve security, connectivity, performance and reliability. Today, transformation of requirements into configurations is manual. This leads to large numbers of configuration errors with adverse effects on availability, security, performance and deployment costs. Thus, it is critical to develop solutions to two fundamental problems. First, is an infrastructure, as configured, compliant with end-to-end requirements? Second, if configurations are noncompliant, how should they be changed to restore compliance? These problems are inherently hard.
This talk outlines two ongoing projects at Telcordia which address these problems. VCAS and ConfigAssure allow specification of end-to-end requirements as constraints in first-order logic. A Requirement Solver computes configurations implementing requirements, and a new constraint preprocessor enables scalability to networks of realistic size and complexity. In non-compliant configurations, satisfiability analysis efficiently searches for configurations that restore compliance. We also discuss a new user interface, the deductive spreadsheet; ongoing application of these system to real enterprises; and advantages over existing systems for addressing these problems.
Speaker Bio: Sanjai Narain is a Senior Research Scientist in the Information Assurance and Security Department at Telcordia Research in Piscataway, NJ. His current research is in systematic design and compliance analysis of secure, reliable network infrastructure. His projects have been funded by DARPA, Disruptive Technology Office, Department of Homeland Security, Defense Information Systems Agency, and the Air Force. He has formed and led numerous industry-university teams in support of these projects. Much of his research has been converted into products or services used by real customers. He joined Telcordia in 1990 when it was called Bellcore. From 1981 to 1990 he was an Associate Computer Scientist at RAND Corporation.
Please contact Prof. Squire with questions.
View the flyer here. (PDF)
View the presentation here. (PDF)
|
