COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

Formal reasoning in software-defined networks
by Reitblatt, Mark, Ph.D., Cornell University, 2017, 179; 10254203
Abstract (Summary)

This thesis presents an end-to-end approach for building computer networks that can be reasoned about and verified formally. In it, we present a high-level specification language for describing the desired forwarding behavior of networks based on regular expressions over network paths, as well as a tool that automatically verifies network forwarding policies; an approach to building formally verified compilers and runtimes for forwarding policies written in a network programming language that preserve the semantics of the source policy; and a technique for updating network configurations while preserving correctness.

Indexing (document details)
Advisor: Foster, Nate
Commitee: Kozen, Dexter, Sirer, Emin Gun
School: Cornell University
Department: Computer Science
School Location: United States -- New York
Source: DAI-B 78/06(E), Dissertation Abstracts International
Subjects: Computer science
Keywords: Computer networks, End-to-end approach, High-level specification language, Network forwarding policies
Publication Number: 10254203
ISBN: 978-1-369-56137-1
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy