FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982608089> ?p ?o ?g. }

• W2982608089 abstract "Network verification promises to detect errors, such as black holes and forwarding loops, by logically analyzing the control or data plane. To do so efficiently, the state-of-the-art (e.g., Veriflow) partitions packet headers with identical forwarding behavior into the same packet equivalence class (PEC).Recently, Yang and Lam showed how to construct the minimal set of PECs, called atomic predicates. Their construction uses Binary Decision Diagrams (BDDs). However, BDDs have been shown to incur significant overhead per packet header bit, performing poorly when analyzing large-scale data centers. The overhead of atomic predicates prompted ddNF to devise a specialized data structure of Ternary Bit Vectors (TBV) instead.However, TBVs are strictly less expressive than BDDs. Moreover, unlike atomic predicates, ddNF's set of PECs is not minimal. We show that ddNF's non-minimality is due to empty PECs. In addition, empty PECs are shown to trigger wrong analysis results. This reveals an inherent tension between precision, expressiveness and performance in formal network verification.Our paper resolves this tension through a new lattice-theoretical PEC-construction algorithm, # PEC, that advances the field as follows: (i) # PEC can encode more kinds of forwarding rules (e.g., ip-tables) than ddNF and Veriflow, (ii) # PEC verifies a wider class of errors (e.g., shadowed rules) than ddNF, and (iii) on a broad range of real-world datasets, # PEC is 10times faster than atomic predicates. By achieving precision, expressiveness and performance, this paper answers a longstanding quest that has spanned three generations of formal network analysis techniques." @default.
• W2982608089 created "2019-11-08" @default.
• W2982608089 creator A5041134697 @default.
• W2982608089 creator A5061723484 @default.
• W2982608089 creator A5069043950 @default.
• W2982608089 date "2019-10-01" @default.
• W2982608089 modified "2023-09-30" @default.
• W2982608089 title "A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification" @default.
• W2982608089 cites W1530735704 @default.
• W2982608089 cites W1966261825 @default.
• W2982608089 cites W1972121713 @default.
• W2982608089 cites W1980507101 @default.
• W2982608089 cites W1986511278 @default.
• W2982608089 cites W1998568597 @default.
• W2982608089 cites W2002596950 @default.
• W2982608089 cites W2020729428 @default.
• W2982608089 cites W2023665096 @default.
• W2982608089 cites W2027893444 @default.
• W2982608089 cites W2035216204 @default.
• W2982608089 cites W2035951900 @default.
• W2982608089 cites W2042448840 @default.
• W2982608089 cites W2042885046 @default.
• W2982608089 cites W2064322639 @default.
• W2982608089 cites W2080267935 @default.
• W2982608089 cites W2085952809 @default.
• W2982608089 cites W2093089874 @default.
• W2982608089 cites W2093397547 @default.
• W2982608089 cites W2116206868 @default.
• W2982608089 cites W2120237629 @default.
• W2982608089 cites W2130210899 @default.
• W2982608089 cites W2138556012 @default.
• W2982608089 cites W2140069682 @default.
• W2982608089 cites W2142972529 @default.
• W2982608089 cites W2144338762 @default.
• W2982608089 cites W2149236835 @default.
• W2982608089 cites W2152254232 @default.
• W2982608089 cites W2157393479 @default.
• W2982608089 cites W2180601376 @default.
• W2982608089 cites W2204503793 @default.
• W2982608089 cites W2278179621 @default.
• W2982608089 cites W2296248453 @default.
• W2982608089 cites W2439679606 @default.
• W2982608089 cites W2460461231 @default.
• W2982608089 cites W2465388983 @default.
• W2982608089 cites W2477023729 @default.
• W2982608089 cites W2485543941 @default.
• W2982608089 cites W2488197787 @default.
• W2982608089 cites W2552298303 @default.
• W2982608089 cites W2606825926 @default.
• W2982608089 cites W2607402385 @default.
• W2982608089 cites W2735966221 @default.
• W2982608089 cites W2742515467 @default.
• W2982608089 cites W2762286066 @default.
• W2982608089 cites W2764015261 @default.
• W2982608089 cites W2784876765 @default.
• W2982608089 cites W2810860137 @default.
• W2982608089 cites W2962604136 @default.
• W2982608089 cites W2982608089 @default.
• W2982608089 cites W3161951661 @default.
• W2982608089 cites W4234045312 @default.
• W2982608089 cites W4254605472 @default.
• W2982608089 cites W4255490784 @default.
• W2982608089 cites W4255907350 @default.
• W2982608089 doi "https://doi.org/10.1109/icnp.2019.8888144" @default.
• W2982608089 hasPublicationYear "2019" @default.
• W2982608089 type Work @default.
• W2982608089 sameAs 2982608089 @default.
• W2982608089 citedByCount "6" @default.
• W2982608089 countsByYear W29826080892019 @default.
• W2982608089 countsByYear W29826080892020 @default.
• W2982608089 countsByYear W29826080892022 @default.
• W2982608089 countsByYear W29826080892023 @default.
• W2982608089 crossrefType "proceedings-article" @default.
• W2982608089 hasAuthorship W2982608089A5041134697 @default.
• W2982608089 hasAuthorship W2982608089A5061723484 @default.
• W2982608089 hasAuthorship W2982608089A5069043950 @default.
• W2982608089 hasBestOaLocation W29826080892 @default.
• W2982608089 hasConcept C11413529 @default.
• W2982608089 hasConcept C158379750 @default.
• W2982608089 hasConcept C162319229 @default.
• W2982608089 hasConcept C199360897 @default.
• W2982608089 hasConcept C2779960059 @default.
• W2982608089 hasConcept C31258907 @default.
• W2982608089 hasConcept C33923547 @default.
• W2982608089 hasConcept C41008148 @default.
• W2982608089 hasConcept C48105269 @default.
• W2982608089 hasConcept C48372109 @default.
• W2982608089 hasConcept C80444323 @default.
• W2982608089 hasConcept C94375191 @default.
• W2982608089 hasConceptScore W2982608089C11413529 @default.
• W2982608089 hasConceptScore W2982608089C158379750 @default.
• W2982608089 hasConceptScore W2982608089C162319229 @default.
• W2982608089 hasConceptScore W2982608089C199360897 @default.
• W2982608089 hasConceptScore W2982608089C2779960059 @default.
• W2982608089 hasConceptScore W2982608089C31258907 @default.
• W2982608089 hasConceptScore W2982608089C33923547 @default.
• W2982608089 hasConceptScore W2982608089C41008148 @default.
• W2982608089 hasConceptScore W2982608089C48105269 @default.
• W2982608089 hasConceptScore W2982608089C48372109 @default.
• W2982608089 hasConceptScore W2982608089C80444323 @default.

• next