Advanced search
1 file | 3.54 MB Add to list

Verification of flow matching functionality in the forwarding plane of OpenFlow networks

Sachin Sharma (UGent) , Wouter Tavernier (UGent) , Seyedeh Sahel Sahhaf (UGent) , Didier Colle (UGent) , Mario Pickavet (UGent) and Piet Demeester (UGent)
(2015) IEICE TRANSACTIONS ON COMMUNICATIONS. E98B(11). p.2190-2201
Author
Organization
Abstract
In OpenFlow, data and control plane are decoupled from switches or routers. While the data plane resides in the switches or routers, the control plane might be moved into one or more external servers (controllers). In this article, we propose verification mechanisms for the data plane functionality of switches. The latter consists of two parts: (1) Flow-Match Header part (to match a flow of incoming packets) and (2) action part (e.g., to forward incoming packets to an outgoing port). We propose a mechanism to verify the Flow-Match Header part of the data plane. The mechanism can be executed at the controller, or on an additional device or server (or virtual machines) attached to the network. Deploying a virtual machine (VM) or server for verification may decrease the load of the controller and/or consumed bandwidth between the controller and a switch. We propose a heuristic to place external verification devices or VMs in a network such that the verification time can be minimized. Verification time with respect to consumed resources are evaluated through emulation experiments. Results confirm that the verification time using the proposed heuristic is indeed shortened significantly, while requiring low bandwidth resources.
Keywords
OpenFlow, IBCN, in-band, out-of-band, verification

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 3.54 MB

Citation

Please use this url to cite or link to this publication:

MLA
Sharma, Sachin et al. “Verification of Flow Matching Functionality in the Forwarding Plane of OpenFlow Networks.” IEICE TRANSACTIONS ON COMMUNICATIONS E98B.11 (2015): 2190–2201. Print.
APA
Sharma, S., Tavernier, W., Sahhaf, S. S., Colle, D., Pickavet, M., & Demeester, P. (2015). Verification of flow matching functionality in the forwarding plane of OpenFlow networks. IEICE TRANSACTIONS ON COMMUNICATIONS, E98B(11), 2190–2201.
Chicago author-date
Sharma, Sachin, Wouter Tavernier, Seyedeh Sahel Sahhaf, Didier Colle, Mario Pickavet, and Piet Demeester. 2015. “Verification of Flow Matching Functionality in the Forwarding Plane of OpenFlow Networks.” Ieice Transactions on Communications E98B (11): 2190–2201.
Chicago author-date (all authors)
Sharma, Sachin, Wouter Tavernier, Seyedeh Sahel Sahhaf, Didier Colle, Mario Pickavet, and Piet Demeester. 2015. “Verification of Flow Matching Functionality in the Forwarding Plane of OpenFlow Networks.” Ieice Transactions on Communications E98B (11): 2190–2201.
Vancouver
1.
Sharma S, Tavernier W, Sahhaf SS, Colle D, Pickavet M, Demeester P. Verification of flow matching functionality in the forwarding plane of OpenFlow networks. IEICE TRANSACTIONS ON COMMUNICATIONS. 2015;E98B(11):2190–201.
IEEE
[1]
S. Sharma, W. Tavernier, S. S. Sahhaf, D. Colle, M. Pickavet, and P. Demeester, “Verification of flow matching functionality in the forwarding plane of OpenFlow networks,” IEICE TRANSACTIONS ON COMMUNICATIONS, vol. E98B, no. 11, pp. 2190–2201, 2015.
@article{7144160,
  abstract     = {In OpenFlow, data and control plane are decoupled from switches or routers. While the data plane resides in the switches or routers, the control plane might be moved into one or more external servers (controllers). In this article, we propose verification mechanisms for the data plane functionality of switches. The latter consists of two parts: (1) Flow-Match Header part (to match a flow of incoming packets) and (2) action part (e.g., to forward incoming packets to an outgoing port). We propose a mechanism to verify the Flow-Match Header part of the data plane. The mechanism can be executed at the controller, or on an additional device or server (or virtual machines) attached to the network. Deploying a virtual machine (VM) or server for verification may decrease the load of the controller and/or consumed bandwidth between the controller and a switch. We propose a heuristic to place external verification devices or VMs in a network such that the verification time can be minimized. Verification time with respect to consumed resources are evaluated through emulation experiments. Results confirm that the verification time using the proposed heuristic is indeed shortened significantly, while requiring low bandwidth resources.},
  author       = {Sharma, Sachin and Tavernier, Wouter and Sahhaf, Seyedeh Sahel and Colle, Didier and Pickavet, Mario and Demeester, Piet},
  issn         = {1745-1345},
  journal      = {IEICE TRANSACTIONS ON COMMUNICATIONS},
  keywords     = {OpenFlow,IBCN,in-band,out-of-band,verification},
  language     = {eng},
  number       = {11},
  pages        = {2190--2201},
  title        = {Verification of flow matching functionality in the forwarding plane of OpenFlow networks},
  url          = {http://dx.doi.org/10.1587/transcom.E98.B.2190},
  volume       = {E98B},
  year         = {2015},
}

Altmetric
View in Altmetric
Web of Science
Times cited: