Show simple item record

dc.contributor.author
Birkner, Rüdiger
dc.contributor.supervisor
Vanbever, Laurent
dc.contributor.supervisor
Vechev, Martin
dc.contributor.supervisor
Gember-Jacobson, Aaron
dc.contributor.supervisor
Walker, David
dc.date.accessioned
2021-11-15T08:15:13Z
dc.date.available
2021-11-13T15:28:22Z
dc.date.available
2021-11-15T08:15:13Z
dc.date.issued
2021
dc.identifier.uri
http://hdl.handle.net/20.500.11850/515053
dc.identifier.doi
10.3929/ethz-b-000515053
dc.description.abstract
One cannot imagine the world today without the Internet, as it has become an integral part of our daily lives. However, with all the benefits and opportunities it brings also come enormous availability and reliability requirements, which put immense pressure on the operators running the individual networks of the Internet. They need to avoid disruptions at all costs and resolve outages as fast as possible. Unfortunately, this is a highly challenging task due to the sheer complexity of these networks. This dissertation focuses on assisting network operators in one aspect of their daily work: network understanding. To this end, we built three systems that automate and improve network understanding to allow the network operators to direct their full attention to the mission-critical tasks requiring their expert insights. First, we developed Net2Text, a system which assists network operators in understanding their network’s forwarding behavior. Based on the operators’ queries, it automatically produces succinct summaries of the raw forwarding state. The key insight behind Net2Text is to pose the problem of summarizing the network-wide forwarding state as an optimization problem that aims to balance coverage, by explaining as many paths as possible, and explainability, by maximizing the provided information. Second, we developed Config2Spec, a system which assists network operators in understanding their network’s configuration. It automatically mines the network’s specification, which consists of all the policies that the configuration enforces. The key insight behind Config2Spec is to combine two well-known techniques: data-plane analysis and control-plane verification. This combination allows to prune the large space of candidate policies efficiently and then validate the remaining ones. And third, we developed Metha, a system which helps network operators understand the capabilities of their network validation tools. It finds inaccuracies in the underlying network models using differential testing. The key insight behind Metha is to leverage grammar-based fuzzing together with combinatorial testing to ensure thorough coverage of the search space using syntactically- and semantically-valid configurations.
en_US
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
ETH Zurich
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
COMPUTER NETWORKS
en_US
dc.subject
NETWORK MONITORING (COMPUTER SYSTEMS)
en_US
dc.subject
VERIFICATION (SOFTWARE ENGINEERING)
en_US
dc.title
Improving Network Understanding
en_US
dc.type
Doctoral Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2021-11-15
ethz.size
134 p.
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.identifier.diss
27926
en_US
ethz.publication.place
Zurich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::09477 - Vanbever, Laurent / Vanbever, Laurent
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.date.deposited
2021-11-13T15:28:28Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2021-11-15T08:15:29Z
ethz.rosetta.lastUpdated
2022-03-29T16:00:09Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Improving%20Network%20Understanding&rft.date=2021&rft.au=Birkner,%20R%C3%BCdiger&rft.genre=unknown&rft.btitle=Improving%20Network%20Understanding
 Search print copy at ETH Library

Files in this item

Thumbnail

Publication type

Show simple item record