Matches in SemOpenAlex for { <https://semopenalex.org/work/W3132259824> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3132259824 abstract "This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory. In our setting, a safe behaviour is characterised by a NetKAT policy, or program, which does not enable forwarding packets from an ingress i to an undesirable egress e. We show how explanations for safety violations can be derived in an equational fashion, according to a modification of the existing NetKAT axiomatisation. We propose an approach based on the Maude system for actually computing the undesired behaviours witnessing the forwarding of packets from i to e as above. SDN-SafeCheck is a tool based on Maude equational theories satisfying important properties such as Church-Rosser and termination. SDN-SafeCheck automatically identifies all the undesired behaviours leading to e, covering forwarding paths up to a user specified size." @default.
- W3132259824 created "2021-03-01" @default.
- W3132259824 creator A5078092230 @default.
- W3132259824 creator A5083707003 @default.
- W3132259824 date "2021-02-24" @default.
- W3132259824 modified "2023-09-27" @default.
- W3132259824 title "Explaining Safety Failures in NetKAT" @default.
- W3132259824 cites W1497082445 @default.
- W3132259824 cites W1524030443 @default.
- W3132259824 cites W1998368317 @default.
- W3132259824 cites W2099501333 @default.
- W3132259824 cites W2106461572 @default.
- W3132259824 cites W2116995348 @default.
- W3132259824 cites W2130210899 @default.
- W3132259824 cites W2147118406 @default.
- W3132259824 cites W2151517515 @default.
- W3132259824 cites W2163152086 @default.
- W3132259824 cites W2410246089 @default.
- W3132259824 cites W2533836568 @default.
- W3132259824 cites W2762699636 @default.
- W3132259824 cites W761508262 @default.
- W3132259824 cites W9401349 @default.
- W3132259824 cites W2585339290 @default.
- W3132259824 hasPublicationYear "2021" @default.
- W3132259824 type Work @default.
- W3132259824 sameAs 3132259824 @default.
- W3132259824 citedByCount "0" @default.
- W3132259824 crossrefType "posted-content" @default.
- W3132259824 hasAuthorship W3132259824A5078092230 @default.
- W3132259824 hasAuthorship W3132259824A5083707003 @default.
- W3132259824 hasConcept C121332964 @default.
- W3132259824 hasConcept C158379750 @default.
- W3132259824 hasConcept C18762648 @default.
- W3132259824 hasConcept C199360897 @default.
- W3132259824 hasConcept C38652104 @default.
- W3132259824 hasConcept C41008148 @default.
- W3132259824 hasConcept C80444323 @default.
- W3132259824 hasConcept C97355855 @default.
- W3132259824 hasConceptScore W3132259824C121332964 @default.
- W3132259824 hasConceptScore W3132259824C158379750 @default.
- W3132259824 hasConceptScore W3132259824C18762648 @default.
- W3132259824 hasConceptScore W3132259824C199360897 @default.
- W3132259824 hasConceptScore W3132259824C38652104 @default.
- W3132259824 hasConceptScore W3132259824C41008148 @default.
- W3132259824 hasConceptScore W3132259824C80444323 @default.
- W3132259824 hasConceptScore W3132259824C97355855 @default.
- W3132259824 hasLocation W31322598241 @default.
- W3132259824 hasOpenAccess W3132259824 @default.
- W3132259824 hasPrimaryLocation W31322598241 @default.
- W3132259824 hasRelatedWork W1490796108 @default.
- W3132259824 hasRelatedWork W165625795 @default.
- W3132259824 hasRelatedWork W1991632479 @default.
- W3132259824 hasRelatedWork W2096009691 @default.
- W3132259824 hasRelatedWork W2142161915 @default.
- W3132259824 hasRelatedWork W2170436517 @default.
- W3132259824 hasRelatedWork W2240079117 @default.
- W3132259824 hasRelatedWork W2296865530 @default.
- W3132259824 hasRelatedWork W2617161903 @default.
- W3132259824 hasRelatedWork W263299715 @default.
- W3132259824 hasRelatedWork W2777182230 @default.
- W3132259824 hasRelatedWork W278337656 @default.
- W3132259824 hasRelatedWork W2796915325 @default.
- W3132259824 hasRelatedWork W2913923693 @default.
- W3132259824 hasRelatedWork W2952803791 @default.
- W3132259824 hasRelatedWork W3156639476 @default.
- W3132259824 hasRelatedWork W56182845 @default.
- W3132259824 hasRelatedWork W1914676715 @default.
- W3132259824 hasRelatedWork W2186618191 @default.
- W3132259824 hasRelatedWork W2519207071 @default.
- W3132259824 isParatext "false" @default.
- W3132259824 isRetracted "false" @default.
- W3132259824 magId "3132259824" @default.
- W3132259824 workType "article" @default.