Matches in SemOpenAlex for { <https://semopenalex.org/work/W97688753> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W97688753 abstract "Major outages and hacks in corporate networks show that the mounting complexity in computer networks has a direct impact on business. Although users have an intuitive understanding of how they would like the network to behave, network operators lack tools to match these implicit requirements against actual infrastructure. Verification is in the stone-age, with visual tracing of diagrams and drawings being the most common method to check network topology for conformance with user expectations. It is both tiresome and error-prone and does not scale beyond SME networks.The main aim of this research is to examine the feasibility of automated property checking of real world networks. We build on work on network topology descriptions and multi-layer path selection and study the possibility of expressing expected behaviour on top of existing technology-independent algorithms, answering the question:Is it possible to verify operational requirements in multi-layer networks via algorithms for path selection in their topology descriptions?We have found that there are topology descriptions languages available that allow formal description of networks for the purpose of reasoning. We have shown that it is possible to formally define operational requirements using a graph definition obtained from such descriptions. Using this formal definition we have synthesised verification algorithms to test conformance to such a requirement. These algorithms have been deomonstrated to decompose in multi-layer path selection and verification. And finally, we have shown a working proof of concept which puts these ideas in practice in a real world network.Our conclusion: it is possible to verify operational requirements in multi-layer networks via algorithms for path selection in their topology descriptions." @default.
- W97688753 created "2016-06-24" @default.
- W97688753 creator A5024807947 @default.
- W97688753 date "2014-01-01" @default.
- W97688753 modified "2023-09-27" @default.
- W97688753 title "Verifying functional requirements in multi-layer networks: a case for formal description of computer networks" @default.
- W97688753 cites W1587074800 @default.
- W97688753 cites W1681081938 @default.
- W97688753 cites W1954609806 @default.
- W97688753 cites W2005834982 @default.
- W97688753 cites W2011282943 @default.
- W97688753 cites W2044936748 @default.
- W97688753 cites W2096623561 @default.
- W97688753 cites W2099553443 @default.
- W97688753 cites W2105627955 @default.
- W97688753 cites W2107093138 @default.
- W97688753 cites W2111628838 @default.
- W97688753 cites W2126487423 @default.
- W97688753 cites W2138979363 @default.
- W97688753 cites W2140496351 @default.
- W97688753 cites W2155978818 @default.
- W97688753 cites W2169528473 @default.
- W97688753 cites W2182283312 @default.
- W97688753 cites W2268447062 @default.
- W97688753 cites W2401610261 @default.
- W97688753 cites W2024687912 @default.
- W97688753 hasPublicationYear "2014" @default.
- W97688753 type Work @default.
- W97688753 sameAs 97688753 @default.
- W97688753 citedByCount "0" @default.
- W97688753 crossrefType "dissertation" @default.
- W97688753 hasAuthorship W97688753A5024807947 @default.
- W97688753 hasConcept C111472728 @default.
- W97688753 hasConcept C115903868 @default.
- W97688753 hasConcept C120314980 @default.
- W97688753 hasConcept C132525143 @default.
- W97688753 hasConcept C138673069 @default.
- W97688753 hasConcept C138885662 @default.
- W97688753 hasConcept C154945302 @default.
- W97688753 hasConcept C178790620 @default.
- W97688753 hasConcept C185592680 @default.
- W97688753 hasConcept C189950617 @default.
- W97688753 hasConcept C199360897 @default.
- W97688753 hasConcept C199845137 @default.
- W97688753 hasConcept C2777735758 @default.
- W97688753 hasConcept C2779227376 @default.
- W97688753 hasConcept C31258907 @default.
- W97688753 hasConcept C41008148 @default.
- W97688753 hasConcept C75606506 @default.
- W97688753 hasConcept C80444323 @default.
- W97688753 hasConcept C81917197 @default.
- W97688753 hasConceptScore W97688753C111472728 @default.
- W97688753 hasConceptScore W97688753C115903868 @default.
- W97688753 hasConceptScore W97688753C120314980 @default.
- W97688753 hasConceptScore W97688753C132525143 @default.
- W97688753 hasConceptScore W97688753C138673069 @default.
- W97688753 hasConceptScore W97688753C138885662 @default.
- W97688753 hasConceptScore W97688753C154945302 @default.
- W97688753 hasConceptScore W97688753C178790620 @default.
- W97688753 hasConceptScore W97688753C185592680 @default.
- W97688753 hasConceptScore W97688753C189950617 @default.
- W97688753 hasConceptScore W97688753C199360897 @default.
- W97688753 hasConceptScore W97688753C199845137 @default.
- W97688753 hasConceptScore W97688753C2777735758 @default.
- W97688753 hasConceptScore W97688753C2779227376 @default.
- W97688753 hasConceptScore W97688753C31258907 @default.
- W97688753 hasConceptScore W97688753C41008148 @default.
- W97688753 hasConceptScore W97688753C75606506 @default.
- W97688753 hasConceptScore W97688753C80444323 @default.
- W97688753 hasConceptScore W97688753C81917197 @default.
- W97688753 hasLocation W976887531 @default.
- W97688753 hasOpenAccess W97688753 @default.
- W97688753 hasPrimaryLocation W976887531 @default.
- W97688753 hasRelatedWork W1531614838 @default.
- W97688753 hasRelatedWork W1534106856 @default.
- W97688753 hasRelatedWork W1548926438 @default.
- W97688753 hasRelatedWork W1674675511 @default.
- W97688753 hasRelatedWork W1683281802 @default.
- W97688753 hasRelatedWork W1995274439 @default.
- W97688753 hasRelatedWork W2079734309 @default.
- W97688753 hasRelatedWork W2145777421 @default.
- W97688753 hasRelatedWork W2261225340 @default.
- W97688753 hasRelatedWork W2274611295 @default.
- W97688753 hasRelatedWork W2301591943 @default.
- W97688753 hasRelatedWork W2470740433 @default.
- W97688753 hasRelatedWork W2476543262 @default.
- W97688753 hasRelatedWork W2594389189 @default.
- W97688753 hasRelatedWork W2765110025 @default.
- W97688753 hasRelatedWork W2808849587 @default.
- W97688753 hasRelatedWork W283349148 @default.
- W97688753 hasRelatedWork W2949162056 @default.
- W97688753 hasRelatedWork W3168029334 @default.
- W97688753 hasRelatedWork W641599855 @default.
- W97688753 isParatext "false" @default.
- W97688753 isRetracted "false" @default.
- W97688753 magId "97688753" @default.
- W97688753 workType "dissertation" @default.