Matches in SemOpenAlex for { <https://semopenalex.org/work/W3128087665> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3128087665 endingPage "861" @default.
- W3128087665 startingPage "848" @default.
- W3128087665 abstract "Named Data Networking (NDN) has many forwarding behaviors, strategies, and protocols to enable the benefits of Information-Centric Networking. This additional functionality introduces complexity, motivating the need for a tool to help reason about and verify that basic properties of an NDN data plane are guaranteed. This paper proposes Name Space Analysis (NSA), a network verification framework to model and analyze NDN data planes. NSA can take as input one or more snapshots, each representing a state of the data plane. It then provides the verification result against specified properties. NSA builds on the theory of Header Space Analysis, and extends it in a number of ways, e.g., supporting variable-sized headers with flexible formats, introduction of name space functions, allowing for name-based properties such as content reachability and name leakage-freedom, and multi-snapshot verification such as equivalence checks. These important additions reflect the behavior and requirements of NDN, requiring modeling and verification foundations fundamentally different from those of traditional host-centric networks. As a case study, we show how NSA can detect name space conflicts in NDN, which can be often hard to catch. Leveraging the learning from this study, we outline a conflict detection and resolution protocol and a name space registry to avoid such conflicts. We have implemented NSA and identified a number of optimizations to enhance the efficiency of verification. Results from our evaluations, using snapshots from various synthetic test cases and the real-world NDN testbed, show how NSA is effective, in finding errors, has good performance, and is scalable." @default.
- W3128087665 created "2021-02-15" @default.
- W3128087665 creator A5048389436 @default.
- W3128087665 creator A5053712998 @default.
- W3128087665 date "2021-04-01" @default.
- W3128087665 modified "2023-09-27" @default.
- W3128087665 title "Name Space Analysis: Verification of Named Data Network Data Planes" @default.
- W3128087665 cites W1590066213 @default.
- W3128087665 cites W2014952121 @default.
- W3128087665 cites W2048396147 @default.
- W3128087665 cites W2155903900 @default.
- W3128087665 cites W2180601376 @default.
- W3128087665 cites W2339906640 @default.
- W3128087665 cites W2507866219 @default.
- W3128087665 cites W2509589512 @default.
- W3128087665 cites W2742515467 @default.
- W3128087665 cites W2754344523 @default.
- W3128087665 cites W2755646973 @default.
- W3128087665 cites W2756063557 @default.
- W3128087665 cites W2756187230 @default.
- W3128087665 cites W2889227506 @default.
- W3128087665 cites W2964082155 @default.
- W3128087665 cites W2968149030 @default.
- W3128087665 cites W2979300826 @default.
- W3128087665 cites W2979512650 @default.
- W3128087665 cites W2979997272 @default.
- W3128087665 cites W3104333539 @default.
- W3128087665 cites W4254605472 @default.
- W3128087665 doi "https://doi.org/10.1109/tnet.2021.3050769" @default.
- W3128087665 hasPublicationYear "2021" @default.
- W3128087665 type Work @default.
- W3128087665 sameAs 3128087665 @default.
- W3128087665 citedByCount "1" @default.
- W3128087665 countsByYear W31280876652022 @default.
- W3128087665 crossrefType "journal-article" @default.
- W3128087665 hasAuthorship W3128087665A5048389436 @default.
- W3128087665 hasAuthorship W3128087665A5053712998 @default.
- W3128087665 hasConcept C10597312 @default.
- W3128087665 hasConcept C111919701 @default.
- W3128087665 hasConcept C120314980 @default.
- W3128087665 hasConcept C136643341 @default.
- W3128087665 hasConcept C142724271 @default.
- W3128087665 hasConcept C144240696 @default.
- W3128087665 hasConcept C158379750 @default.
- W3128087665 hasConcept C162319229 @default.
- W3128087665 hasConcept C204787440 @default.
- W3128087665 hasConcept C2775877400 @default.
- W3128087665 hasConcept C2780385302 @default.
- W3128087665 hasConcept C31258907 @default.
- W3128087665 hasConcept C31395832 @default.
- W3128087665 hasConcept C41008148 @default.
- W3128087665 hasConcept C48105269 @default.
- W3128087665 hasConcept C55282118 @default.
- W3128087665 hasConcept C71924100 @default.
- W3128087665 hasConcept C80444323 @default.
- W3128087665 hasConceptScore W3128087665C10597312 @default.
- W3128087665 hasConceptScore W3128087665C111919701 @default.
- W3128087665 hasConceptScore W3128087665C120314980 @default.
- W3128087665 hasConceptScore W3128087665C136643341 @default.
- W3128087665 hasConceptScore W3128087665C142724271 @default.
- W3128087665 hasConceptScore W3128087665C144240696 @default.
- W3128087665 hasConceptScore W3128087665C158379750 @default.
- W3128087665 hasConceptScore W3128087665C162319229 @default.
- W3128087665 hasConceptScore W3128087665C204787440 @default.
- W3128087665 hasConceptScore W3128087665C2775877400 @default.
- W3128087665 hasConceptScore W3128087665C2780385302 @default.
- W3128087665 hasConceptScore W3128087665C31258907 @default.
- W3128087665 hasConceptScore W3128087665C31395832 @default.
- W3128087665 hasConceptScore W3128087665C41008148 @default.
- W3128087665 hasConceptScore W3128087665C48105269 @default.
- W3128087665 hasConceptScore W3128087665C55282118 @default.
- W3128087665 hasConceptScore W3128087665C71924100 @default.
- W3128087665 hasConceptScore W3128087665C80444323 @default.
- W3128087665 hasFunder F4320306076 @default.
- W3128087665 hasFunder F4320332178 @default.
- W3128087665 hasIssue "2" @default.
- W3128087665 hasLocation W31280876651 @default.
- W3128087665 hasOpenAccess W3128087665 @default.
- W3128087665 hasPrimaryLocation W31280876651 @default.
- W3128087665 hasRelatedWork W1669499690 @default.
- W3128087665 hasRelatedWork W1863517246 @default.
- W3128087665 hasRelatedWork W2027859176 @default.
- W3128087665 hasRelatedWork W2038382744 @default.
- W3128087665 hasRelatedWork W2149744085 @default.
- W3128087665 hasRelatedWork W2469906815 @default.
- W3128087665 hasRelatedWork W2725063651 @default.
- W3128087665 hasRelatedWork W3128087665 @default.
- W3128087665 hasRelatedWork W2182472999 @default.
- W3128087665 hasRelatedWork W2188905296 @default.
- W3128087665 hasVolume "29" @default.
- W3128087665 isParatext "false" @default.
- W3128087665 isRetracted "false" @default.
- W3128087665 magId "3128087665" @default.
- W3128087665 workType "article" @default.