Verified Network Configuration VeriNeC

The Verinec Project, developped at the University of Fribourg, aims to develop a tool for intelligent network configuration and simulation.

See:
Description

Packages

verinec	Main package of Verinec.
verinec.adaptation	Classes to control the translation of the XML configuration data into concrete configuration lines for specific systems.
verinec.adaptation.gui
verinec.adaptation.repository	The translation repository provides XSL stylesheets for the translator.
verinec.adaptation.snmp
verinec.adaptation.snmp.tftpserver
verinec.data.repository	Repository for node and network definitions.
verinec.gui	Important classes of the GUI.
verinec.gui.configurator	A module to define and configure the network interactively.
verinec.gui.configurator.nodeeditor
verinec.gui.core	Implements the basic operations of the GUI.
verinec.importer	Importer Module of Verinec.
verinec.importer.analysis	Generate network configuration from analysing existing networks.
verinec.importer.analysis.scanner	If port scanning is enabled, hosts can be scanned to detect what services they run on which port.
verinec.importer.analysis.sniffer	The sniffer examines traffic in existing networks to generate Verinec configuration data.
verinec.importer.analysis.traceroute
verinec.importer.parser
verinec.importer.parser.ethernet
verinec.importer.parser.iptables
verinec.importer.parser.iptables.parser
verinec.netsim	The base packet containing the factory for the Simulator.
verinec.netsim.addresses	The Addresses used internally in the Simulator.
verinec.netsim.components
verinec.netsim.components.layers
verinec.netsim.constants
verinec.netsim.entities
verinec.netsim.entities.packets
verinec.netsim.entities.packets.helpers
verinec.netsim.events	The collection of desmoj.Event's used in the network simulator.
verinec.netsim.firewall
verinec.netsim.firewall.packetFilter
verinec.netsim.firewall.packetFilter.actionList
verinec.netsim.firewall.packetFilter.actionList.actions
verinec.netsim.firewall.packetFilter.matchList
verinec.netsim.firewall.packetFilter.matchList.ipv4
verinec.netsim.firewall.packetFilter.matchList.portRange
verinec.netsim.firewall.packetFilter.matchList.tcp
verinec.netsim.firewall.util
verinec.netsim.firewall.util.tables
verinec.netsim.firewall.util.tables.keys
verinec.netsim.gui	Simulation result viewer.
verinec.netsim.loggers	Loggers are used to build up the logging tree-structured document.
verinec.netsim.loggers.events	Events that can be logged.
verinec.netsim.processors
verinec.netsim.processors.applications
verinec.netsim.processors.applications.dnsd
verinec.netsim.processors.dns
verinec.netsim.util
verinec.netsim.util.net.sockets
verinec.netsim.util.net.sockets.fsm
verinec.netsim.util.tables
verinec.util	Collection of various utilities for variable expanding, schema validation and more.
verinec.validation.gui	The gui packet for displaying and editing netsim logfiles and clixml schema files.
verinec.validation.gui.actions	The package containing actions for the Linking Pane.
verinec.validation.gui.menu
verinec.validation.gui.menu.actions	The package containing actions to open, close, save and validate netsim logfiles and clixml schemas.
verinec.validation.gui.menu.items	The package containing menu items to open, close, save and validate netsim logfiles and clixml schemas.

The Verinec Project, developped at the University of Fribourg, aims to develop a tool for intelligent network configuration and simulation.

Based on a framework of XML network definition and configuration, there is a collection simulation, configuration import and configuration distribution tools. You can learn more about the project at the web site of the telecom, networks and security group under diuf.unifr.ch/tns/projects/verinec/.

The Java framework for Verinec includes four parts (different projects in the CVS repository.)

• The Core module includes the package verinec.data.repository The repository is used for storing node and network definition.
  A graphical user interface is provided in the verinec.gui package. The VerinecStudio is the main application for Verinec, providing many options based on the Swing GUI framework. Every module used in Verinec should be implemented as a IVerinecModule to be accessible from within the GUI.
  A bunch of utility classes can be found in the verinec.util package:
  • The VerinecNamespaces class must be used whenever Namespaces are needed in Java code.
  • The SchemaValidator is to be used to validate documents against a schema.
  • ProgramExec should be used when you need to call external programs.
  • If you need to log a JDom object for debugging, you can use the LogUtil.
• The Validation module todo...
  It contains a network simulator in the verinec.netsim.* packages to study the behaviour of the network. The important class here is SimulationFactory, returning an instance of ISimulation.
• The Adaptation module provides a framework to generate configuration data and distribute it onto local or remote machines. To translate a document, use Translator, to distribute the configuration onto the actual machines, use Distribute.
• To create network configuration data for existing networks, the Importer module can be used.
  It contains the verinec.importer.analysis packages to determine network layout without needing special access privileges and the verinec.importer.parser to import configuration files and generate Verinec XML configuration.