Middlebox Models in Network Verification Research

Julius Michaelis, Chair For Network Architectures
2016
To address the challenges arising from the development of computer network management over the past decades, researchers have developed a number of tools to assist the operation of networks and help administrators avoid mistakes. These tools often follow the approach to verify an existing network configuration. This poses the problem that the behavior of a lot of potentially complex networking device configration has to be supported. The usual approach to this is to develop simple models that
more » ... ly reflect the aspects of the system that the tool can understand. We survey the related literature for the use of this type of model.
doi:10.2313/net-2016-07-1_07 fatcat:kw7eavdmwbglpmxo4opscfh4je