Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"veriflow"”.
-
Veriflow system analysis and optimization
… of seconds to hours. With the advent of Veriflow [7], network administrators are able to do real-time checking of network-wide invariants. VeriFlow is an efficient tool designated to detect SDN network invariants at run time. It serves as an intermediate layer between software defined …
-
Monitoring and verifying network behavior using data-plane state
… them using a SAT solver. Our second tool, called VeriFlow, creates a device independent graph model of the network state, and uses standard graph traversal algorithms to detect invariant violations. We tested our tools with real world network data-plane traces, and with large emulated networks. …
-
Network analysis, inference and verification
Securely operating large-scale networks is a non-trivial task involving interactions between various hardware devices, protocols, and configurations, all of which need to work in tandem for the network to be secure and in the desired state that the network administrators want it to be in. …