Matches in SemOpenAlex for { <https://semopenalex.org/work/W1675033504> ?p ?o ?g. }
- W1675033504 endingPage "28" @default.
- W1675033504 startingPage "15" @default.
- W1675033504 abstract "Networks are complex and prone to bugs. Existing tools that check network configuration files and the data-plane state operate offline at timescales of seconds to hours, and cannot detect or prevent bugs as they arise.Is it possible to check network-wide invariants in real time, as the network state evolves? The key challenge here is to achieve extremely low latency during the checks so that network performance is not affected. In this paper, we present a design, VeriFlow, which achieves this goal. VeriFlow is a layer between a software-defined networking controller and network devices that checks for network-wide invariant violations dynamically as each forwarding rule is inserted, modified or deleted. VeriFlow supports analysis over multiple header fields, and an API for checking custom invariants. Based on a prototype implementation integrated with the NOX OpenFlow controller, and driven by a Mininet OpenFlow network and Route Views trace data, we find that VeriFlow can perform rigorous checking within hundreds of microseconds per rule insertion or deletion." @default.
- W1675033504 created "2016-06-24" @default.
- W1675033504 creator A5015706522 @default.
- W1675033504 creator A5038897777 @default.
- W1675033504 creator A5066308539 @default.
- W1675033504 creator A5070354493 @default.
- W1675033504 creator A5080937886 @default.
- W1675033504 date "2013-04-02" @default.
- W1675033504 modified "2023-09-28" @default.
- W1675033504 title "VeriFlow: verifying network-wide invariants in real time" @default.
- W1675033504 cites W158224344 @default.
- W1675033504 cites W1697123834 @default.
- W1675033504 cites W1882012874 @default.
- W1675033504 cites W1965343327 @default.
- W1675033504 cites W1972121713 @default.
- W1675033504 cites W2022758041 @default.
- W1675033504 cites W2028491016 @default.
- W1675033504 cites W2107724874 @default.
- W1675033504 cites W2115526539 @default.
- W1675033504 cites W2120255160 @default.
- W1675033504 cites W2122695394 @default.
- W1675033504 cites W2137845741 @default.
- W1675033504 cites W2138556012 @default.
- W1675033504 cites W2140069682 @default.
- W1675033504 cites W2147118406 @default.
- W1675033504 cites W2149236835 @default.
- W1675033504 cites W2753576349 @default.
- W1675033504 cites W570611244 @default.
- W1675033504 hasPublicationYear "2013" @default.
- W1675033504 type Work @default.
- W1675033504 sameAs 1675033504 @default.
- W1675033504 citedByCount "133" @default.
- W1675033504 countsByYear W16750335042013 @default.
- W1675033504 countsByYear W16750335042014 @default.
- W1675033504 countsByYear W16750335042015 @default.
- W1675033504 countsByYear W16750335042016 @default.
- W1675033504 countsByYear W16750335042017 @default.
- W1675033504 countsByYear W16750335042018 @default.
- W1675033504 countsByYear W16750335042019 @default.
- W1675033504 countsByYear W16750335042020 @default.
- W1675033504 countsByYear W16750335042021 @default.
- W1675033504 crossrefType "proceedings-article" @default.
- W1675033504 hasAuthorship W1675033504A5015706522 @default.
- W1675033504 hasAuthorship W1675033504A5038897777 @default.
- W1675033504 hasAuthorship W1675033504A5066308539 @default.
- W1675033504 hasAuthorship W1675033504A5070354493 @default.
- W1675033504 hasAuthorship W1675033504A5080937886 @default.
- W1675033504 hasConcept C10597312 @default.
- W1675033504 hasConcept C119404949 @default.
- W1675033504 hasConcept C120314980 @default.
- W1675033504 hasConcept C138885662 @default.
- W1675033504 hasConcept C149635348 @default.
- W1675033504 hasConcept C158379750 @default.
- W1675033504 hasConcept C159631557 @default.
- W1675033504 hasConcept C171659815 @default.
- W1675033504 hasConcept C192697461 @default.
- W1675033504 hasConcept C199360897 @default.
- W1675033504 hasConcept C31258907 @default.
- W1675033504 hasConcept C41008148 @default.
- W1675033504 hasConcept C41895202 @default.
- W1675033504 hasConcept C48103436 @default.
- W1675033504 hasConcept C48105269 @default.
- W1675033504 hasConcept C75291252 @default.
- W1675033504 hasConcept C76155785 @default.
- W1675033504 hasConcept C77270119 @default.
- W1675033504 hasConcept C79403827 @default.
- W1675033504 hasConcept C82876162 @default.
- W1675033504 hasConceptScore W1675033504C10597312 @default.
- W1675033504 hasConceptScore W1675033504C119404949 @default.
- W1675033504 hasConceptScore W1675033504C120314980 @default.
- W1675033504 hasConceptScore W1675033504C138885662 @default.
- W1675033504 hasConceptScore W1675033504C149635348 @default.
- W1675033504 hasConceptScore W1675033504C158379750 @default.
- W1675033504 hasConceptScore W1675033504C159631557 @default.
- W1675033504 hasConceptScore W1675033504C171659815 @default.
- W1675033504 hasConceptScore W1675033504C192697461 @default.
- W1675033504 hasConceptScore W1675033504C199360897 @default.
- W1675033504 hasConceptScore W1675033504C31258907 @default.
- W1675033504 hasConceptScore W1675033504C41008148 @default.
- W1675033504 hasConceptScore W1675033504C41895202 @default.
- W1675033504 hasConceptScore W1675033504C48103436 @default.
- W1675033504 hasConceptScore W1675033504C48105269 @default.
- W1675033504 hasConceptScore W1675033504C75291252 @default.
- W1675033504 hasConceptScore W1675033504C76155785 @default.
- W1675033504 hasConceptScore W1675033504C77270119 @default.
- W1675033504 hasConceptScore W1675033504C79403827 @default.
- W1675033504 hasConceptScore W1675033504C82876162 @default.
- W1675033504 hasLocation W16750335041 @default.
- W1675033504 hasOpenAccess W1675033504 @default.
- W1675033504 hasPrimaryLocation W16750335041 @default.
- W1675033504 hasRelatedWork W1249296113 @default.
- W1675033504 hasRelatedWork W1408671314 @default.
- W1675033504 hasRelatedWork W1449038650 @default.
- W1675033504 hasRelatedWork W158224344 @default.
- W1675033504 hasRelatedWork W1590488181 @default.
- W1675033504 hasRelatedWork W1697123834 @default.
- W1675033504 hasRelatedWork W1882012874 @default.
- W1675033504 hasRelatedWork W1972121713 @default.