Publication:
Graph-Algorithm Based Verification on Network Configuration Robustness

Simple item page
dc.contributor.advisorLixin Gao
dc.contributor.advisorDaniel Holcomb
dc.contributor.advisorTongping Liu
dc.contributor.authorChen, Zibin
dc.contributor.departmentUniversity of Massachusetts Amherst
dc.contributor.departmentElectrical & Computer Engineering
dc.date2024-03-28T19:36:02.000
dc.date.accessioned2024-04-26T18:06:29Z
dc.date.available2024-04-26T18:06:29Z
dc.date.issued2021-02-01
dc.date.submittedFebruary
dc.date.submitted2021
dc.description.abstractNetwork 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 to error. What makes things worse is that the network is a dynamic system where there are link failures/additions and routing announcements from outside the network. The growth of the network size and the huge number of routing events make it hard to predict the effect of the configuration. In this thesis, we proposed a graph-algorithm-based approach to verify the network configuration robustness. In addition to verifying properties for one network snapshot, our approach can also verify these properties under intra-domain and inter-domain routing events efficiently. We implement the proposed approach and evaluate under both synthe- sized and real network configurations. The experiment results show that our approach can achieve at least 100x speedup over the existing approaches when verifying properties under routing events and scale to large networks with thousands of nodes.
dc.description.degreeMaster of Science in Electrical and Computer Engineering (M.S.E.C.E.)
dc.identifier.doihttps://doi.org/10.7275/20020360
dc.identifier.orcidhttps://orcid.org/0000-0002-7890-9711
dc.identifier.urihttps://hdl.handle.net/20.500.14394/32664
dc.relation.urlhttps://scholarworks.umass.edu/cgi/viewcontent.cgi?article=2055&context=masters_theses_2&unstamped=1
dc.source.statuspublished
dc.titleGraph-Algorithm Based Verification on Network Configuration Robustness
dc.typeopenaccess
dc.typearticle
dc.typethesis
digcom.contributor.authorisAuthorOfPublication|email:zibinchen@umass.edu|institution:University of Massachusetts Amherst|Chen, Zibin
digcom.identifiermasters_theses_2/1009
digcom.identifier.contextkey20020360
digcom.identifier.submissionpathmasters_theses_2/1009
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
thesis.pdf
Size:
1.2 MB
Format:
Adobe Portable Document Format
Name: thesis.pdf
Size: 1.2 MB
Kind: Adobe PDF
Collections
Masters Theses