Sanjai Narain is a Fellow and Chief Scientist in Information Assurance and Security Department at Applied Communication Sciences (ACS). ACS was earlier called Telcordia Research and Bellcore Applied Research.Currently, he leads a Science of Configuration project. He has served on editorial boards and program committees of major journals, conferences and workshops. In 1990,he joined Bellcore where he developed SONET, ATM and DSL network management tools. From 1981 to 1990 he worked at RAND Corporation where he developed technologies to reason about discrete-event simulation models. His formal training is in mathematical logic,programming languages, and electrical engineering. He studied logic with Professor Alonzo Church at UCLA.He has obtained funding from government agencies such as AFRL, IARPA, DARPA and DHS. His current and past collaborators are Professors Sharad Malik, Mung Chiang and Prateek Mittal at Princeton, Professor Trent Jaeger at Penn State, Professor Daniel Jackson at MIT, Professor Bart Selman at Cornell, and (Retd.)Col. Kevin Jordan at PACOM.
Configuration is the glue for logically integrating network components to satisfy end-to-end requirements on security and functionality. Every component has a finite number of configuration variables that are set to definite values. It is well-documented that configuration errors are responsible… Read More