Matches in SemOpenAlex for { <https://semopenalex.org/work/W3010260319> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3010260319 abstract "Traditional SDN has one controller, but more recent SDN approaches use multiple controllers on one network. However, the multiple controllers need to be synchronized with each other in order to guarantee a consistent network view, and complicated control management and additional control overhead are required. To overcome these limitations, Kandoo [5] has been proposed in which a root controller manages multiple unsynchronized local controllers. However, in this approach, loops can form between the local controllers because they manage different topologies. We propose a method for modeling a hierarchical design to detect loops in the topology and prevent them from occurring using UPPAAL model checker. In addition, the properties of multiple controllers are defined and verified based UPPAAL framework. In particular, we verify the following properties in a multiple controller: (1) elephant flows go through the root controller, (2) all flows go through the switch that is required to maintain security, and (3) they avoid unnecessary switches for energy efficiency." @default.
- W3010260319 created "2020-03-13" @default.
- W3010260319 creator A5030380431 @default.
- W3010260319 creator A5080758685 @default.
- W3010260319 date "2020-01-01" @default.
- W3010260319 modified "2023-10-17" @default.
- W3010260319 title "Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers" @default.
- W3010260319 cites W1714884520 @default.
- W3010260319 cites W1962072139 @default.
- W3010260319 cites W1964033425 @default.
- W3010260319 cites W1993210075 @default.
- W3010260319 cites W2055350293 @default.
- W3010260319 cites W2136439543 @default.
- W3010260319 cites W2149236835 @default.
- W3010260319 cites W2464166007 @default.
- W3010260319 cites W2811436232 @default.
- W3010260319 cites W4255282609 @default.
- W3010260319 doi "https://doi.org/10.1007/978-3-030-43215-7_6" @default.
- W3010260319 hasPublicationYear "2020" @default.
- W3010260319 type Work @default.
- W3010260319 sameAs 3010260319 @default.
- W3010260319 citedByCount "0" @default.
- W3010260319 crossrefType "book-chapter" @default.
- W3010260319 hasAuthorship W3010260319A5030380431 @default.
- W3010260319 hasAuthorship W3010260319A5080758685 @default.
- W3010260319 hasConcept C111919701 @default.
- W3010260319 hasConcept C119599485 @default.
- W3010260319 hasConcept C120314980 @default.
- W3010260319 hasConcept C127413603 @default.
- W3010260319 hasConcept C133731056 @default.
- W3010260319 hasConcept C184720557 @default.
- W3010260319 hasConcept C199845137 @default.
- W3010260319 hasConcept C203479927 @default.
- W3010260319 hasConcept C2777904410 @default.
- W3010260319 hasConcept C2779960059 @default.
- W3010260319 hasConcept C31258907 @default.
- W3010260319 hasConcept C41008148 @default.
- W3010260319 hasConcept C6557445 @default.
- W3010260319 hasConcept C77270119 @default.
- W3010260319 hasConcept C86803240 @default.
- W3010260319 hasConceptScore W3010260319C111919701 @default.
- W3010260319 hasConceptScore W3010260319C119599485 @default.
- W3010260319 hasConceptScore W3010260319C120314980 @default.
- W3010260319 hasConceptScore W3010260319C127413603 @default.
- W3010260319 hasConceptScore W3010260319C133731056 @default.
- W3010260319 hasConceptScore W3010260319C184720557 @default.
- W3010260319 hasConceptScore W3010260319C199845137 @default.
- W3010260319 hasConceptScore W3010260319C203479927 @default.
- W3010260319 hasConceptScore W3010260319C2777904410 @default.
- W3010260319 hasConceptScore W3010260319C2779960059 @default.
- W3010260319 hasConceptScore W3010260319C31258907 @default.
- W3010260319 hasConceptScore W3010260319C41008148 @default.
- W3010260319 hasConceptScore W3010260319C6557445 @default.
- W3010260319 hasConceptScore W3010260319C77270119 @default.
- W3010260319 hasConceptScore W3010260319C86803240 @default.
- W3010260319 hasLocation W30102603191 @default.
- W3010260319 hasOpenAccess W3010260319 @default.
- W3010260319 hasPrimaryLocation W30102603191 @default.
- W3010260319 hasRelatedWork W12027773 @default.
- W3010260319 hasRelatedWork W12063988 @default.
- W3010260319 hasRelatedWork W13938553 @default.
- W3010260319 hasRelatedWork W1874418 @default.
- W3010260319 hasRelatedWork W4343720 @default.
- W3010260319 hasRelatedWork W5540307 @default.
- W3010260319 hasRelatedWork W5738061 @default.
- W3010260319 hasRelatedWork W6350172 @default.
- W3010260319 hasRelatedWork W9269004 @default.
- W3010260319 hasRelatedWork W9758604 @default.
- W3010260319 isParatext "false" @default.
- W3010260319 isRetracted "false" @default.
- W3010260319 magId "3010260319" @default.
- W3010260319 workType "book-chapter" @default.