Faculté des sciences

Verified network configuration : improving network reliability

Thèse de doctorat : Université de Fribourg, 2008 ; Nr. 1613.

This thesis describes general concepts of network management and the prototype implementation of a network management system software. The aim of the project Verinec (Verified Network Configuration) is to improve security and reliability in large, heterogeneous networks, while at the same time facilitate their administration. Using a centralised database of the entire network and services... More