Matches in SemOpenAlex for { <https://semopenalex.org/work/W44162018> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W44162018 endingPage "739" @default.
- W44162018 startingPage "724" @default.
- W44162018 abstract "This paper presents a novel approach to automatically finding security vulnerabilities in the routing protocol OSPF – the most widely used protocol for Internet routing. We start by modeling OSPF on (concrete) networks with a fixed number of routers in a specific topology. By using the model checking tool CBMC, we found several simple, previously unpublished attacks on OSPF. In order to search for attacks in a family of networks with varied sizes and topologies, we define the concept of an abstract network which represents such a family. The abstract network ${cal A}$ has the property that if there is an attack on ${cal A}$ then there is a corresponding attack on each of the (concrete) networks represented by ${cal A}$ . The attacks we have found on abstract networks reveal security vulnerabilities in the OSPF protocol, which can harm routing in huge networks with complex topologies. Finding such attacks directly on the huge networks is practically impossible. Abstraction is therefore essential. Further, abstraction enables showing that the attacks are general. That is, they are applicable in a large (even infinite) number of networks. This indicates that the attacks exploit fundamental vulnerabilities, which are applicable to many configurations of the network." @default.
- W44162018 created "2016-06-24" @default.
- W44162018 creator A5011871745 @default.
- W44162018 creator A5043936415 @default.
- W44162018 creator A5058323434 @default.
- W44162018 date "2013-01-01" @default.
- W44162018 modified "2023-09-26" @default.
- W44162018 title "Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems" @default.
- W44162018 cites W1520257951 @default.
- W44162018 cites W1532374416 @default.
- W44162018 cites W1650107222 @default.
- W44162018 cites W1926085771 @default.
- W44162018 cites W2036526834 @default.
- W44162018 cites W2105455406 @default.
- W44162018 cites W2109068395 @default.
- W44162018 cites W2129538349 @default.
- W44162018 cites W2154229279 @default.
- W44162018 cites W4247255165 @default.
- W44162018 doi "https://doi.org/10.1007/978-3-642-39799-8_51" @default.
- W44162018 hasPublicationYear "2013" @default.
- W44162018 type Work @default.
- W44162018 sameAs 44162018 @default.
- W44162018 citedByCount "8" @default.
- W44162018 countsByYear W441620182014 @default.
- W44162018 countsByYear W441620182017 @default.
- W44162018 countsByYear W441620182018 @default.
- W44162018 countsByYear W441620182019 @default.
- W44162018 countsByYear W441620182021 @default.
- W44162018 crossrefType "book-chapter" @default.
- W44162018 hasAuthorship W44162018A5011871745 @default.
- W44162018 hasAuthorship W44162018A5043936415 @default.
- W44162018 hasAuthorship W44162018A5058323434 @default.
- W44162018 hasBestOaLocation W441620181 @default.
- W44162018 hasConcept C104954878 @default.
- W44162018 hasConcept C120314980 @default.
- W44162018 hasConcept C182590292 @default.
- W44162018 hasConcept C199845137 @default.
- W44162018 hasConcept C31258907 @default.
- W44162018 hasConcept C38652104 @default.
- W44162018 hasConcept C41008148 @default.
- W44162018 hasConcept C70522964 @default.
- W44162018 hasConcept C74172769 @default.
- W44162018 hasConcept C89305328 @default.
- W44162018 hasConcept C95713431 @default.
- W44162018 hasConceptScore W44162018C104954878 @default.
- W44162018 hasConceptScore W44162018C120314980 @default.
- W44162018 hasConceptScore W44162018C182590292 @default.
- W44162018 hasConceptScore W44162018C199845137 @default.
- W44162018 hasConceptScore W44162018C31258907 @default.
- W44162018 hasConceptScore W44162018C38652104 @default.
- W44162018 hasConceptScore W44162018C41008148 @default.
- W44162018 hasConceptScore W44162018C70522964 @default.
- W44162018 hasConceptScore W44162018C74172769 @default.
- W44162018 hasConceptScore W44162018C89305328 @default.
- W44162018 hasConceptScore W44162018C95713431 @default.
- W44162018 hasLocation W441620181 @default.
- W44162018 hasOpenAccess W44162018 @default.
- W44162018 hasPrimaryLocation W441620181 @default.
- W44162018 hasRelatedWork W2008662735 @default.
- W44162018 hasRelatedWork W2031423166 @default.
- W44162018 hasRelatedWork W2052500986 @default.
- W44162018 hasRelatedWork W2122925822 @default.
- W44162018 hasRelatedWork W2208481718 @default.
- W44162018 hasRelatedWork W2540723287 @default.
- W44162018 hasRelatedWork W3082876732 @default.
- W44162018 hasRelatedWork W3110126104 @default.
- W44162018 hasRelatedWork W3144551439 @default.
- W44162018 hasRelatedWork W4220786991 @default.
- W44162018 isParatext "false" @default.
- W44162018 isRetracted "false" @default.
- W44162018 magId "44162018" @default.
- W44162018 workType "book-chapter" @default.