FRINK Linked Data Fragments server

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

• W2725063651 abstract "Modern networks have complex configurations to provide advanced functions. Network softwarization, a promising new movement in the networking community, could make networks more complexly configured due to the nature of software. Since these complexities make the networks error-prone, network verification is attracting attention as a key technology to detect inconsistencies between a configuration and an operational policy. Existing verifiers are, unfortunately, either inefficient or incomplete (operational policies are not rigorously checked). This paper presents a novel framework of data-plane verification. So as to efficiently manage the large search space defined by packet headers, our framework formalizes the consistency check by applying simple set operations defined in a small quotient space of packet header. This paper also reveals that the two spaces can be connected via the windowing query in computational geometry. Two windowing algorithms are proposed and backed by solid theoretical analyses. Experiments on real network datasets show that our framework with the windowing algorithms is surprisingly fast; when verifying policy compliance in a real network with thousands of switches, our framework reduces the verification time of all-pairs reachability from ten hours to ten minutes." @default.
• W2725063651 created "2017-07-14" @default.
• W2725063651 creator A5004935109 @default.
• W2725063651 creator A5018010242 @default.
• W2725063651 creator A5023464420 @default.
• W2725063651 creator A5027207170 @default.
• W2725063651 creator A5067420630 @default.
• W2725063651 creator A5081996202 @default.
• W2725063651 date "2017-12-01" @default.
• W2725063651 modified "2023-09-27" @default.
• W2725063651 title "An Efficient Framework for Data-Plane Verification With Geometric Windowing Queries" @default.
• W2725063651 cites W1249296113 @default.
• W2725063651 cites W158224344 @default.
• W2725063651 cites W1675033504 @default.
• W2725063651 cites W1697123834 @default.
• W2725063651 cites W1882012874 @default.
• W2725063651 cites W1990249463 @default.
• W2725063651 cites W1990603932 @default.
• W2725063651 cites W1994143452 @default.
• W2725063651 cites W2020999394 @default.
• W2725063651 cites W2021718794 @default.
• W2725063651 cites W2032850083 @default.
• W2725063651 cites W2051714560 @default.
• W2725063651 cites W2077688755 @default.
• W2725063651 cites W2080267935 @default.
• W2725063651 cites W2111828771 @default.
• W2725063651 cites W2115526539 @default.
• W2725063651 cites W2118084562 @default.
• W2725063651 cites W2120389765 @default.
• W2725063651 cites W2130210899 @default.
• W2725063651 cites W2136225617 @default.
• W2725063651 cites W2137108108 @default.
• W2725063651 cites W2138509363 @default.
• W2725063651 cites W2138556012 @default.
• W2725063651 cites W2140069682 @default.
• W2725063651 cites W2149236835 @default.
• W2725063651 cites W2155216527 @default.
• W2725063651 cites W2158804164 @default.
• W2725063651 cites W2180601376 @default.
• W2725063651 cites W2188073520 @default.
• W2725063651 cites W2278179621 @default.
• W2725063651 cites W2289285710 @default.
• W2725063651 cites W2303191924 @default.
• W2725063651 cites W2324910104 @default.
• W2725063651 cites W2410246089 @default.
• W2725063651 cites W2465388983 @default.
• W2725063651 cites W2471733240 @default.
• W2725063651 cites W2531684888 @default.
• W2725063651 cites W2541594629 @default.
• W2725063651 cites W2566847281 @default.
• W2725063651 cites W2587087058 @default.
• W2725063651 cites W2734979301 @default.
• W2725063651 cites W49496018 @default.
• W2725063651 cites W1521225740 @default.
• W2725063651 doi "https://doi.org/10.1109/tnsm.2017.2723725" @default.
• W2725063651 hasPublicationYear "2017" @default.
• W2725063651 type Work @default.
• W2725063651 sameAs 2725063651 @default.
• W2725063651 citedByCount "2" @default.
• W2725063651 countsByYear W27250636512019 @default.
• W2725063651 countsByYear W27250636512022 @default.
• W2725063651 crossrefType "journal-article" @default.
• W2725063651 hasAuthorship W2725063651A5004935109 @default.
• W2725063651 hasAuthorship W2725063651A5018010242 @default.
• W2725063651 hasAuthorship W2725063651A5023464420 @default.
• W2725063651 hasAuthorship W2725063651A5027207170 @default.
• W2725063651 hasAuthorship W2725063651A5067420630 @default.
• W2725063651 hasAuthorship W2725063651A5081996202 @default.
• W2725063651 hasConcept C10597312 @default.
• W2725063651 hasConcept C120314980 @default.
• W2725063651 hasConcept C136643341 @default.
• W2725063651 hasConcept C154945302 @default.
• W2725063651 hasConcept C158379750 @default.
• W2725063651 hasConcept C162319229 @default.
• W2725063651 hasConcept C177264268 @default.
• W2725063651 hasConcept C199360897 @default.
• W2725063651 hasConcept C26517878 @default.
• W2725063651 hasConcept C2776436953 @default.
• W2725063651 hasConcept C2777904410 @default.
• W2725063651 hasConcept C31258907 @default.
• W2725063651 hasConcept C38652104 @default.
• W2725063651 hasConcept C41008148 @default.
• W2725063651 hasConcept C48105269 @default.
• W2725063651 hasConcept C80444323 @default.
• W2725063651 hasConceptScore W2725063651C10597312 @default.
• W2725063651 hasConceptScore W2725063651C120314980 @default.
• W2725063651 hasConceptScore W2725063651C136643341 @default.
• W2725063651 hasConceptScore W2725063651C154945302 @default.
• W2725063651 hasConceptScore W2725063651C158379750 @default.
• W2725063651 hasConceptScore W2725063651C162319229 @default.
• W2725063651 hasConceptScore W2725063651C177264268 @default.
• W2725063651 hasConceptScore W2725063651C199360897 @default.
• W2725063651 hasConceptScore W2725063651C26517878 @default.
• W2725063651 hasConceptScore W2725063651C2776436953 @default.
• W2725063651 hasConceptScore W2725063651C2777904410 @default.
• W2725063651 hasConceptScore W2725063651C31258907 @default.
• W2725063651 hasConceptScore W2725063651C38652104 @default.
• W2725063651 hasConceptScore W2725063651C41008148 @default.
• W2725063651 hasConceptScore W2725063651C48105269 @default.
• W2725063651 hasConceptScore W2725063651C80444323 @default.

• next