Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034971522> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3034971522 abstract "Software Defined Networking (SDN) is a novel network management technology, which currently attracts a lot of attention due to the provided capabilities. Recently, different works have been devoted to testing / verifying the (correct) configurations of SDN data planes. In general, SDN forwarding devices (e.g., switches) route (steer) traffic according to the configured flow rules; the latter identifies the set of virtual paths implemented in the data plane. In this paper, we propose a novel preventive approach for verifying that no misconfigurations (e.g., infinite loops), can occur given the requested set of paths. We discuss why such verification is essential, namely, how, when synthesizing a set of data paths, other not requested and undesired data paths (including loops) may be unintentionally configured. Furthermore, we show that for some cases the requested set of paths cannot be implemented without adding such undesired behavior, i.e., only a superset of the requested set can be implemented. Correspondingly, we present a verification technique for detecting such issues of potential misconfigurations and estimate the complexity of the proposed method; its polynomial complexity highlights the applicability of the obtained results. Finally, we propose a technique for debugging and repairing a set of paths in such a way that the corrected set does not induce undesired paths into the data plane, if the latter is possible." @default.
- W3034971522 created "2020-06-19" @default.
- W3034971522 creator A5018211353 @default.
- W3034971522 creator A5025016186 @default.
- W3034971522 creator A5034736630 @default.
- W3034971522 creator A5040238727 @default.
- W3034971522 creator A5082528508 @default.
- W3034971522 creator A5085791065 @default.
- W3034971522 date "2019-06-07" @default.
- W3034971522 modified "2023-09-26" @default.
- W3034971522 title "Preventive Model-based Verification and Repairing for SDN Requests" @default.
- W3034971522 cites W1697123834 @default.
- W3034971522 cites W2010947830 @default.
- W3034971522 cites W2068407543 @default.
- W3034971522 cites W2074616737 @default.
- W3034971522 cites W2105229722 @default.
- W3034971522 cites W2115526539 @default.
- W3034971522 cites W2152254232 @default.
- W3034971522 cites W2180601376 @default.
- W3034971522 cites W2254744414 @default.
- W3034971522 cites W2296335794 @default.
- W3034971522 cites W2794894525 @default.
- W3034971522 cites W2832131618 @default.
- W3034971522 cites W2891367726 @default.
- W3034971522 cites W2891574960 @default.
- W3034971522 cites W2900257195 @default.
- W3034971522 cites W2994881367 @default.
- W3034971522 cites W3145128584 @default.
- W3034971522 cites W589642006 @default.
- W3034971522 hasPublicationYear "2019" @default.
- W3034971522 type Work @default.
- W3034971522 sameAs 3034971522 @default.
- W3034971522 citedByCount "0" @default.
- W3034971522 crossrefType "posted-content" @default.
- W3034971522 hasAuthorship W3034971522A5018211353 @default.
- W3034971522 hasAuthorship W3034971522A5025016186 @default.
- W3034971522 hasAuthorship W3034971522A5034736630 @default.
- W3034971522 hasAuthorship W3034971522A5040238727 @default.
- W3034971522 hasAuthorship W3034971522A5082528508 @default.
- W3034971522 hasAuthorship W3034971522A5085791065 @default.
- W3034971522 hasConcept C10597312 @default.
- W3034971522 hasConcept C120314980 @default.
- W3034971522 hasConcept C158379750 @default.
- W3034971522 hasConcept C168065819 @default.
- W3034971522 hasConcept C177264268 @default.
- W3034971522 hasConcept C199360897 @default.
- W3034971522 hasConcept C31258907 @default.
- W3034971522 hasConcept C41008148 @default.
- W3034971522 hasConcept C77270119 @default.
- W3034971522 hasConceptScore W3034971522C10597312 @default.
- W3034971522 hasConceptScore W3034971522C120314980 @default.
- W3034971522 hasConceptScore W3034971522C158379750 @default.
- W3034971522 hasConceptScore W3034971522C168065819 @default.
- W3034971522 hasConceptScore W3034971522C177264268 @default.
- W3034971522 hasConceptScore W3034971522C199360897 @default.
- W3034971522 hasConceptScore W3034971522C31258907 @default.
- W3034971522 hasConceptScore W3034971522C41008148 @default.
- W3034971522 hasConceptScore W3034971522C77270119 @default.
- W3034971522 hasLocation W30349715221 @default.
- W3034971522 hasOpenAccess W3034971522 @default.
- W3034971522 hasPrimaryLocation W30349715221 @default.
- W3034971522 hasRelatedWork W1689626140 @default.
- W3034971522 hasRelatedWork W1697123834 @default.
- W3034971522 hasRelatedWork W1745054520 @default.
- W3034971522 hasRelatedWork W1897046817 @default.
- W3034971522 hasRelatedWork W2040259387 @default.
- W3034971522 hasRelatedWork W2054075353 @default.
- W3034971522 hasRelatedWork W2122695394 @default.
- W3034971522 hasRelatedWork W2260823393 @default.
- W3034971522 hasRelatedWork W2464326659 @default.
- W3034971522 hasRelatedWork W2497710620 @default.
- W3034971522 hasRelatedWork W2521536125 @default.
- W3034971522 hasRelatedWork W2528188859 @default.
- W3034971522 hasRelatedWork W2548032328 @default.
- W3034971522 hasRelatedWork W2601726669 @default.
- W3034971522 hasRelatedWork W2770728219 @default.
- W3034971522 hasRelatedWork W2901563743 @default.
- W3034971522 hasRelatedWork W2970475754 @default.
- W3034971522 hasRelatedWork W3045021821 @default.
- W3034971522 hasRelatedWork W3106010819 @default.
- W3034971522 hasRelatedWork W3157481061 @default.
- W3034971522 isParatext "false" @default.
- W3034971522 isRetracted "false" @default.
- W3034971522 magId "3034971522" @default.
- W3034971522 workType "article" @default.