Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952017115> ?p ?o ?g. }
- W2952017115 abstract "Real-time network verification promises to automatically detect violations of network-wide reachability invariants on the data plane. To be useful in practice, these violations need to be detected in the order of milliseconds, without raising false alarms. To date, most real-time data plane checkers address this problem by exploiting at least one of the following two observations: (i) only small parts of the network tend to be affected by typical changes to the data plane, and (ii) many different packets tend to share the same forwarding behaviour in the entire network. This paper shows how to effectively exploit a third characteristic of the problem, namely: similarity among forwarding behaviour of packets through parts of the network, rather than its entirety. We propose the first provably amortized quasi-linear algorithm to do so. We implement our algorithm in a new real-time data plane checker, Delta-net. Our experiments with SDN-IP, a globally deployed ONOS software-defined networking application, and several hundred million IP prefix rules generated using topologies and BGP updates from real-world deployed networks, show that Delta-net checks a rule insertion or removal in approximately 40 microseconds on average, a more than 10X improvement over the state-of-the-art. We also show that Delta-net eliminates an inherent bottleneck in the state-of-the-art that restricts its use in answering Datalog-style what if queries." @default.
- W2952017115 created "2019-06-27" @default.
- W2952017115 creator A5041134697 @default.
- W2952017115 creator A5061723484 @default.
- W2952017115 creator A5069043950 @default.
- W2952017115 date "2017-02-23" @default.
- W2952017115 modified "2023-09-27" @default.
- W2952017115 title "Delta-net: Real-time Network Verification Using Atoms" @default.
- W2952017115 cites W1449038650 @default.
- W2952017115 cites W1455804204 @default.
- W2952017115 cites W158224344 @default.
- W2952017115 cites W1608999459 @default.
- W2952017115 cites W1675033504 @default.
- W2952017115 cites W1882012874 @default.
- W2952017115 cites W2014764321 @default.
- W2952017115 cites W2023665096 @default.
- W2952017115 cites W2033181023 @default.
- W2952017115 cites W2047714188 @default.
- W2952017115 cites W2072566279 @default.
- W2952017115 cites W2074616737 @default.
- W2952017115 cites W2093397547 @default.
- W2952017115 cites W2110880524 @default.
- W2952017115 cites W2115526539 @default.
- W2952017115 cites W2116206868 @default.
- W2952017115 cites W2118404561 @default.
- W2952017115 cites W2119296494 @default.
- W2952017115 cites W2125560635 @default.
- W2952017115 cites W2130210899 @default.
- W2952017115 cites W2138556012 @default.
- W2952017115 cites W2140069682 @default.
- W2952017115 cites W2147118406 @default.
- W2952017115 cites W2151517515 @default.
- W2952017115 cites W2177058407 @default.
- W2952017115 cites W2180601376 @default.
- W2952017115 cites W2188073520 @default.
- W2952017115 cites W2303191924 @default.
- W2952017115 cites W2308109111 @default.
- W2952017115 cites W2324910104 @default.
- W2952017115 cites W2468070113 @default.
- W2952017115 cites W2485543941 @default.
- W2952017115 cites W2950251060 @default.
- W2952017115 hasPublicationYear "2017" @default.
- W2952017115 type Work @default.
- W2952017115 sameAs 2952017115 @default.
- W2952017115 citedByCount "1" @default.
- W2952017115 countsByYear W29520171152018 @default.
- W2952017115 crossrefType "posted-content" @default.
- W2952017115 hasAuthorship W2952017115A5041134697 @default.
- W2952017115 hasAuthorship W2952017115A5061723484 @default.
- W2952017115 hasAuthorship W2952017115A5069043950 @default.
- W2952017115 hasConcept C10597312 @default.
- W2952017115 hasConcept C120314980 @default.
- W2952017115 hasConcept C136643341 @default.
- W2952017115 hasConcept C149635348 @default.
- W2952017115 hasConcept C158379750 @default.
- W2952017115 hasConcept C199360897 @default.
- W2952017115 hasConcept C2780513914 @default.
- W2952017115 hasConcept C2780945871 @default.
- W2952017115 hasConcept C31258907 @default.
- W2952017115 hasConcept C41008148 @default.
- W2952017115 hasConcept C48103436 @default.
- W2952017115 hasConcept C77088390 @default.
- W2952017115 hasConcept C77270119 @default.
- W2952017115 hasConcept C80444323 @default.
- W2952017115 hasConceptScore W2952017115C10597312 @default.
- W2952017115 hasConceptScore W2952017115C120314980 @default.
- W2952017115 hasConceptScore W2952017115C136643341 @default.
- W2952017115 hasConceptScore W2952017115C149635348 @default.
- W2952017115 hasConceptScore W2952017115C158379750 @default.
- W2952017115 hasConceptScore W2952017115C199360897 @default.
- W2952017115 hasConceptScore W2952017115C2780513914 @default.
- W2952017115 hasConceptScore W2952017115C2780945871 @default.
- W2952017115 hasConceptScore W2952017115C31258907 @default.
- W2952017115 hasConceptScore W2952017115C41008148 @default.
- W2952017115 hasConceptScore W2952017115C48103436 @default.
- W2952017115 hasConceptScore W2952017115C77088390 @default.
- W2952017115 hasConceptScore W2952017115C77270119 @default.
- W2952017115 hasConceptScore W2952017115C80444323 @default.
- W2952017115 hasLocation W29520171151 @default.
- W2952017115 hasOpenAccess W2952017115 @default.
- W2952017115 hasPrimaryLocation W29520171151 @default.
- W2952017115 hasRelatedWork W1249296113 @default.
- W2952017115 hasRelatedWork W158224344 @default.
- W2952017115 hasRelatedWork W1675033504 @default.
- W2952017115 hasRelatedWork W1882012874 @default.
- W2952017115 hasRelatedWork W203992939 @default.
- W2952017115 hasRelatedWork W2115526539 @default.
- W2952017115 hasRelatedWork W2130210899 @default.
- W2952017115 hasRelatedWork W2188073520 @default.
- W2952017115 hasRelatedWork W2278179621 @default.
- W2952017115 hasRelatedWork W2339906640 @default.
- W2952017115 hasRelatedWork W2485543941 @default.
- W2952017115 hasRelatedWork W2488197787 @default.
- W2952017115 hasRelatedWork W2511953862 @default.
- W2952017115 hasRelatedWork W2518702344 @default.
- W2952017115 hasRelatedWork W2577367366 @default.
- W2952017115 hasRelatedWork W2587652520 @default.
- W2952017115 hasRelatedWork W2598371515 @default.
- W2952017115 hasRelatedWork W2735966221 @default.
- W2952017115 hasRelatedWork W2742515467 @default.