Advanced search
2 files | 439.92 KB Add to list

Verification of aggregated flows in OpenFlow networks

Sachin Sharma (UGent) , Wouter Tavernier (UGent) , Didier Colle (UGent) , Mario Pickavet (UGent) and Piet Demeester (UGent)
Author
Organization
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.
Keywords
IBCN

Downloads

  • 6262 i.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 190.69 KB
  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 249.24 KB

Citation

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

MLA
Sharma, Sachin et al. “Verification of Aggregated Flows in OpenFlow Networks.” IEEE Conference on Computer Communications Workshops. 2015. 7–8. Print.
APA
Sharma, Sachin, Tavernier, W., Colle, D., Pickavet, M., & Demeester, P. (2015). Verification of aggregated flows in OpenFlow networks. IEEE Conference on Computer Communications Workshops (pp. 7–8). Presented at the 34th IEEE Conference on Computer Communications (INFOCOM).
Chicago author-date
Sharma, Sachin, Wouter Tavernier, Didier Colle, Mario Pickavet, and Piet Demeester. 2015. “Verification of Aggregated Flows in OpenFlow Networks.” In IEEE Conference on Computer Communications Workshops, 7–8.
Chicago author-date (all authors)
Sharma, Sachin, Wouter Tavernier, Didier Colle, Mario Pickavet, and Piet Demeester. 2015. “Verification of Aggregated Flows in OpenFlow Networks.” In IEEE Conference on Computer Communications Workshops, 7–8.
Vancouver
1.
Sharma S, Tavernier W, Colle D, Pickavet M, Demeester P. Verification of aggregated flows in OpenFlow networks. IEEE Conference on Computer Communications Workshops. 2015. p. 7–8.
IEEE
[1]
S. Sharma, W. Tavernier, D. Colle, M. Pickavet, and P. Demeester, “Verification of aggregated flows in OpenFlow networks,” in IEEE Conference on Computer Communications Workshops, Hong Kong, China, 2015, pp. 7–8.
@inproceedings{5962823,
  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       = {Sharma, Sachin and Tavernier, Wouter and Colle, Didier and Pickavet, Mario and Demeester, Piet},
  booktitle    = {IEEE Conference on Computer Communications Workshops},
  isbn         = {9781467371315},
  issn         = {2159-4228},
  keywords     = {IBCN},
  language     = {eng},
  location     = {Hong Kong, China},
  pages        = {7--8},
  title        = {Verification of aggregated flows in OpenFlow networks},
  year         = {2015},
}

Web of Science
Times cited: