Graph-Algorithm Based Verification on Network Configuration Robustness

Network configurations are typically done by manually setting up the configuration files. Such manual configuration requires the network operators to be able to deal with low-level protocol-specific parameters as well as have a big picture of the network in mind. Thus, network configuration is prone...

Full description

Bibliographic Details
Main Author: Chen, Zibin
Format: Others
Published: ScholarWorks@UMass Amherst 2021
Online Access:https://scholarworks.umass.edu/masters_theses_2/1009
https://scholarworks.umass.edu/cgi/viewcontent.cgi?article=2055&context=masters_theses_2