Verification of aggregated flows in OpenFlow networks

Sachin Sharma; Wouter Tavernier; Didier Colle; Mario Pickavet; Piet Demeester

doi:10.1109/INFCOMW.2015.7179316

Verification of aggregated flows in OpenFlow networks

Sachin Sharma, Wouter Tavernier, Didier Colle, Mario Pickavet, Piet Demeester

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Recently, the automatic test packet generation (ATPG) tool is proposed to verify a network for error conditions (e.g., incorrect firewall rules, software, hardware, and performance errors). However, this tool is not able to verify aggregated flows (i.e., flows having wildcards in some of their fields) for matching issues. In this paper, we propose a mechanism to verify aggregated flows in OpenFlow networks. In the demonstration, we verify aggregated flows installed in an emulated pan-European topology using our proposed mechanism.

Original language	English
Title of host publication	2015 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	7-8
Number of pages	2
ISBN (Electronic)	9781467371315
DOIs	https://doi.org/10.1109/INFCOMW.2015.7179316
Publication status	Published - 4 Aug 2015
Externally published	Yes
Event	IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015 - Hong Kong, Hong Kong Duration: 26 Apr 2015 → 1 May 2015

Publication series

Name	Proceedings - IEEE INFOCOM
Volume	2015-August
ISSN (Print)	0743-166X

Conference

Conference	IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015
Country/Territory	Hong Kong
City	Hong Kong
Period	26/04/15 → 1/05/15

Access to Document

10.1109/INFCOMW.2015.7179316

Cite this

Sharma, S., Tavernier, W., Colle, D., Pickavet, M., & Demeester, P. (2015). Verification of aggregated flows in OpenFlow networks. In 2015 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015 (pp. 7-8). Article 7179316 (Proceedings - IEEE INFOCOM; Vol. 2015-August). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/INFCOMW.2015.7179316

@inproceedings{424833e957974be9837d7ea1adadce4c,

title = "Verification of aggregated flows in OpenFlow networks",

abstract = "Recently, the automatic test packet generation (ATPG) tool is proposed to verify a network for error conditions (e.g., incorrect firewall rules, software, hardware, and performance errors). However, this tool is not able to verify aggregated flows (i.e., flows having wildcards in some of their fields) for matching issues. In this paper, we propose a mechanism to verify aggregated flows in OpenFlow networks. In the demonstration, we verify aggregated flows installed in an emulated pan-European topology using our proposed mechanism.",

author = "Sachin Sharma and Wouter Tavernier and Didier Colle and Mario Pickavet and Piet Demeester",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015 ; Conference date: 26-04-2015 Through 01-05-2015",

year = "2015",

month = aug,

day = "4",

doi = "10.1109/INFCOMW.2015.7179316",

language = "English",

series = "Proceedings - IEEE INFOCOM",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "7--8",

booktitle = "2015 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015",

address = "United States",

}

Sharma, S, Tavernier, W, Colle, D, Pickavet, M & Demeester, P 2015, Verification of aggregated flows in OpenFlow networks. in 2015 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015., 7179316, Proceedings - IEEE INFOCOM, vol. 2015-August, Institute of Electrical and Electronics Engineers Inc., pp. 7-8, IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015, Hong Kong, Hong Kong, 26/04/15. https://doi.org/10.1109/INFCOMW.2015.7179316

Verification of aggregated flows in OpenFlow networks. / Sharma, Sachin; Tavernier, Wouter; Colle, Didier et al.
2015 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 7-8 7179316 (Proceedings - IEEE INFOCOM; Vol. 2015-August).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Verification of aggregated flows in OpenFlow networks

AU - Sharma, Sachin

AU - Tavernier, Wouter

AU - Colle, Didier

AU - Pickavet, Mario

AU - Demeester, Piet

PY - 2015/8/4

Y1 - 2015/8/4

N2 - Recently, the automatic test packet generation (ATPG) tool is proposed to verify a network for error conditions (e.g., incorrect firewall rules, software, hardware, and performance errors). However, this tool is not able to verify aggregated flows (i.e., flows having wildcards in some of their fields) for matching issues. In this paper, we propose a mechanism to verify aggregated flows in OpenFlow networks. In the demonstration, we verify aggregated flows installed in an emulated pan-European topology using our proposed mechanism.

AB - Recently, the automatic test packet generation (ATPG) tool is proposed to verify a network for error conditions (e.g., incorrect firewall rules, software, hardware, and performance errors). However, this tool is not able to verify aggregated flows (i.e., flows having wildcards in some of their fields) for matching issues. In this paper, we propose a mechanism to verify aggregated flows in OpenFlow networks. In the demonstration, we verify aggregated flows installed in an emulated pan-European topology using our proposed mechanism.

UR - http://www.scopus.com/inward/record.url?scp=84943262847&partnerID=8YFLogxK

U2 - 10.1109/INFCOMW.2015.7179316

DO - 10.1109/INFCOMW.2015.7179316

M3 - Conference contribution

AN - SCOPUS:84943262847

T3 - Proceedings - IEEE INFOCOM

SP - 7

EP - 8

BT - 2015 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2015

Y2 - 26 April 2015 through 1 May 2015

ER -

Verification of aggregated flows in OpenFlow networks

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this