Verified Network Configuration
Verinec Goals Device independent network configuration Automated testing of configuration Automated distribution of configuration
Verinec XML Configuration Existing Configuration Distribution EditorSimulator
Importing existing data Parse configuration files Sniff network traffic Port scans
Exporting the configuration Translate configuration XML using XSLT –Generate plain text files –Generate SNMP commands Restriction information –Notify what will be lost in translation Distribute configuration –File (copy in file system, ssh file transfers) –SNMP
Editor & Simulator Graphical network configuration –Add and remove nodes –Configure nodes –Define network connections Simulation display –Start the simulator –Display the result Both modules of the GUI framework
XML in Verinec Node and network definition Simulation input and output Generated configuration output Generated restriction output Metadata for GUI and Translation
Demo
Questions?