Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983405933> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1983405933 endingPage "92" @default.
- W1983405933 startingPage "87" @default.
- W1983405933 abstract "Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the correct operation of BGP. BGP's distributed dependencies cause small configuration mistakes or oversights to spur complex errors, which sometimes have devastating effects on global connectivity. These errors are often difficult to debug because they are sometimes only exposed by a specific message arrival pattern or failure scenario.This paper presents an approach to BGP verification that is primarily based on static analysis of router configuration. We argue that: (1) because BGP's a configuration affects its fundamental behavior, verification is a program analysis problem, (2) BGP's complex, dynamic interactions are difficult to abstract and impossible to enumerate, which precludes existing verification techniques, (3) because of BGP's flexible, policy-based configuration, some aspects of BGP configuration must be checked against a higher-level specification of intended policy, and (4) although static analysis can catch many configuration errors, simulation and emulation are also necessary to determine the precise scenarios that could expose errors at runtime. Based on these observations, we propose the design of a BGP verification tool, discuss how it could be applied in practice, and describe future research challenges." @default.
- W1983405933 created "2016-06-24" @default.
- W1983405933 creator A5068586837 @default.
- W1983405933 date "2004-01-01" @default.
- W1983405933 modified "2023-09-24" @default.
- W1983405933 title "Practical verification techniques for wide-area routing" @default.
- W1983405933 cites W1967656199 @default.
- W1983405933 cites W2026392294 @default.
- W1983405933 cites W2097514095 @default.
- W1983405933 cites W2139573484 @default.
- W1983405933 cites W2142065670 @default.
- W1983405933 cites W2165398593 @default.
- W1983405933 cites W4302094287 @default.
- W1983405933 doi "https://doi.org/10.1145/972374.972390" @default.
- W1983405933 hasPublicationYear "2004" @default.
- W1983405933 type Work @default.
- W1983405933 sameAs 1983405933 @default.
- W1983405933 citedByCount "32" @default.
- W1983405933 countsByYear W19834059332012 @default.
- W1983405933 countsByYear W19834059332013 @default.
- W1983405933 countsByYear W19834059332014 @default.
- W1983405933 countsByYear W19834059332015 @default.
- W1983405933 countsByYear W19834059332017 @default.
- W1983405933 countsByYear W19834059332019 @default.
- W1983405933 countsByYear W19834059332020 @default.
- W1983405933 crossrefType "journal-article" @default.
- W1983405933 hasAuthorship W1983405933A5068586837 @default.
- W1983405933 hasConcept C104954878 @default.
- W1983405933 hasConcept C111498074 @default.
- W1983405933 hasConcept C111919701 @default.
- W1983405933 hasConcept C120314980 @default.
- W1983405933 hasConcept C149635348 @default.
- W1983405933 hasConcept C149810388 @default.
- W1983405933 hasConcept C162324750 @default.
- W1983405933 hasConcept C168065819 @default.
- W1983405933 hasConcept C178086212 @default.
- W1983405933 hasConcept C199360897 @default.
- W1983405933 hasConcept C202973057 @default.
- W1983405933 hasConcept C204948658 @default.
- W1983405933 hasConcept C2775896111 @default.
- W1983405933 hasConcept C31258907 @default.
- W1983405933 hasConcept C41008148 @default.
- W1983405933 hasConcept C50522688 @default.
- W1983405933 hasConcept C55439883 @default.
- W1983405933 hasConcept C62460635 @default.
- W1983405933 hasConcept C74172769 @default.
- W1983405933 hasConcept C97686452 @default.
- W1983405933 hasConceptScore W1983405933C104954878 @default.
- W1983405933 hasConceptScore W1983405933C111498074 @default.
- W1983405933 hasConceptScore W1983405933C111919701 @default.
- W1983405933 hasConceptScore W1983405933C120314980 @default.
- W1983405933 hasConceptScore W1983405933C149635348 @default.
- W1983405933 hasConceptScore W1983405933C149810388 @default.
- W1983405933 hasConceptScore W1983405933C162324750 @default.
- W1983405933 hasConceptScore W1983405933C168065819 @default.
- W1983405933 hasConceptScore W1983405933C178086212 @default.
- W1983405933 hasConceptScore W1983405933C199360897 @default.
- W1983405933 hasConceptScore W1983405933C202973057 @default.
- W1983405933 hasConceptScore W1983405933C204948658 @default.
- W1983405933 hasConceptScore W1983405933C2775896111 @default.
- W1983405933 hasConceptScore W1983405933C31258907 @default.
- W1983405933 hasConceptScore W1983405933C41008148 @default.
- W1983405933 hasConceptScore W1983405933C50522688 @default.
- W1983405933 hasConceptScore W1983405933C55439883 @default.
- W1983405933 hasConceptScore W1983405933C62460635 @default.
- W1983405933 hasConceptScore W1983405933C74172769 @default.
- W1983405933 hasConceptScore W1983405933C97686452 @default.
- W1983405933 hasIssue "1" @default.
- W1983405933 hasLocation W19834059331 @default.
- W1983405933 hasOpenAccess W1983405933 @default.
- W1983405933 hasPrimaryLocation W19834059331 @default.
- W1983405933 hasRelatedWork W1582770309 @default.
- W1983405933 hasRelatedWork W1931305589 @default.
- W1983405933 hasRelatedWork W1983405933 @default.
- W1983405933 hasRelatedWork W1995149192 @default.
- W1983405933 hasRelatedWork W2119395787 @default.
- W1983405933 hasRelatedWork W2162176082 @default.
- W1983405933 hasRelatedWork W2217693190 @default.
- W1983405933 hasRelatedWork W2366389147 @default.
- W1983405933 hasRelatedWork W2409045768 @default.
- W1983405933 hasRelatedWork W2737007303 @default.
- W1983405933 hasVolume "34" @default.
- W1983405933 isParatext "false" @default.
- W1983405933 isRetracted "false" @default.
- W1983405933 magId "1983405933" @default.
- W1983405933 workType "article" @default.