INL: IP Networking Lab - validation

Towards validated network configurations with NCGuard

lvanbeve — Wed, 10 Sep 2008 12:07:06 +0000

Today, most IP networks are still configured manually on a router-by-router basis. This is error-prone and often leads to misconfiguration. In this paper, we describe the Network Configuration Safeguard (NCGuard), a tool that allows the network architect to apply a safer methodology. The first step is to define his design rules. Based on a survey of the networking literature, we classify the most common types of rules in three main patterns: presence, uniqueness and symmetry and provide several examples. The second step is to write a high-level representation of his network.

Design et implémentation d'un logiciel de validation et de génération de configurations réseaux

lvanbeve — Wed, 10 Sep 2008 08:29:43 +0000

NCGuard: Network Configuration Safeguard

lvanbeve — Sun, 13 Jul 2008 16:13:03 +0000

Overview

Today, most IP networks are still configured manually on a router-by-router basis. This is error-prone and often leads to misconfiguration.

NCGuard is a tool that allows a network architect to apply a safer methodology by generating validated network configuration. NCGuard relies heavily on software engineering techniques.