A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Middlebox Models in Network Verification Research
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
doi:10.2313/net-2016-07-1_07
fatcat:kw7eavdmwbglpmxo4opscfh4je