Static Equivalence Checking for OpenFlow Networks
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Hyuk | - |
dc.contributor.author | Choi, Jin-Young | - |
dc.date.accessioned | 2022-02-24T02:40:21Z | - |
dc.date.available | 2022-02-24T02:40:21Z | - |
dc.date.created | 2022-02-15 | - |
dc.date.issued | 2021-09 | - |
dc.identifier.issn | 2079-9292 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/136689 | - |
dc.description.abstract | Software-defined networking (SDN) provides many advantages over traditional networking by separating the control and data planes. One of the advantages is to provide programmability, which allows administrators to control the behavior of the network. The network configuration may need to be changed for some reason. Whenever such changes are made, it can be required to verify that the forwarding behavior is preserved from the existing configuration, that is, whether the ruleset is properly reflected. In this paper, we propose the forwarding behavior based equivalence checking of OpenFlow networks. We present the formal definition of the network model and the forwarding behavior of the packet flow. Based on the definition, We present a method for checking the equivalence of OpenFlow network forwarding behaviors. Next, we present the implementation of the proposed method, using the constraint satisfaction method, which will be the basis for further extension. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | MDPI | - |
dc.subject | SOFTWARE-DEFINED NETWORKING | - |
dc.subject | VERIFICATION | - |
dc.title | Static Equivalence Checking for OpenFlow Networks | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Choi, Jin-Young | - |
dc.identifier.doi | 10.3390/electronics10182207 | - |
dc.identifier.scopusid | 2-s2.0-85114602757 | - |
dc.identifier.wosid | 000699036700001 | - |
dc.identifier.bibliographicCitation | ELECTRONICS, v.10, no.18 | - |
dc.relation.isPartOf | ELECTRONICS | - |
dc.citation.title | ELECTRONICS | - |
dc.citation.volume | 10 | - |
dc.citation.number | 18 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalResearchArea | Engineering | - |
dc.relation.journalResearchArea | Physics | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Engineering, Electrical & Electronic | - |
dc.relation.journalWebOfScienceCategory | Physics, Applied | - |
dc.subject.keywordPlus | SOFTWARE-DEFINED NETWORKING | - |
dc.subject.keywordPlus | VERIFICATION | - |
dc.subject.keywordAuthor | OpenFlow | - |
dc.subject.keywordAuthor | constraint satisfaction problem | - |
dc.subject.keywordAuthor | formal modeling | - |
dc.subject.keywordAuthor | forwarding behavior equivalence check | - |
dc.subject.keywordAuthor | software-defined networking | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
145 Anam-ro, Seongbuk-gu, Seoul, 02841, Korea+82-2-3290-2963
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.