Ulrich Ultes-Nitsche - Dr. phil. nat. in Computer Science, Department of Computer Science, University of Frankfurt.

Current position:
Associate Professor of Computer Science and Head of Group of the telecommunications, networks & security Research Group (tns) in the Department of Computer Science of the University of Fribourg and Visitor to the Declarative Systems and Software Engineering Research Group of the Department of Electronics and Computer Science at the University of Southampton.

Previous appointments:
Lecturer and later Senior Lecturer in the Declarative Systems and Software Engineering Research Group of the Department of Electronics and Computer Science at the University of Southampton, UK; Research Assistant at the Institute of Information Technology of the University of Zurich, Switzerland; Visiting Researcher at the Montefiore Institute of the University of Liège, Belgium; Junior Researcher at GMD - the German National Research Centre for Information Technology (today part of Fraunhofer), Darmstadt, Germany.

Title of the IWWST 2005 keynote
The VeriNeC Project - how improved network management can increase network security

Abstract
The project VeriNeC (verified network configuration) aims at creating a centralized network management system which supports validation techniques for network component specifications, and tools for automated configuration creation and configuration distribution from validated component specifications. "Components" include wireless network cards, firewalls, and other security-relevant subsystems. The network's behaviour can be tested "in vitro" based on in-details simulation of data traversal in the specified network, prior to its fully automised configuration. I will discuss the VeriNeC approach in my presentation, focussing on the security implications it has.