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...
Main Author: | |
---|---|
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 |