VeriFlow: Verifying network-wide invariants in real time

HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks

Volumn , Issue , 2012, Pages 49-54

  Khurshid, Ahmed ^a   Zhou, Wenxuan ^a   Caesar, Matthew ^a   Godfrey, P Brighten ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

debugging; forwarding; openflow; real time; software defined networking

Indexed keywords

CONFIGURATION FILES; DATA-PLANE; FORWARDING; LOW LATENCY; NETWORK DEVICES; NETWORK STATE; OFFLINE; OPENFLOW; PRELIMINARY DESIGN; REAL TIME; SOFTWARE-DEFINED NETWORKING; TIME-SCALES; TRACE DATA;

COMPUTER DEBUGGING; COMPUTER NETWORKS; INFORMATION SYSTEMS;

NETWORK PERFORMANCE;

EID: 84866512813     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2342441.2342452     Document Type: Conference Paper

References (18)

1. Mininet: Rapid prototyping for software defined networks. http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Mininet.
2. OpenFlow switch specification. http://www.openflow.org/documents/ openflow-specv1.1.0.pdf.
3. Rocketfuel: An ISP topology mapping engine. http://www.cs.washington.edu/ research/networking/rocketfuel/.
4. University of Oregon Route Views Project. http://www.routeviews.org/.
5. Al-Shaer, E., and Al-Haj, S. FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures. In SafeConfig (2010).
6. Al-Shaer, E., Marrero, W., El-Atawy, A., and ElBadawi, K. Network configuration in a box: Towards end-to-end verification of network reachability and security. In ICNP (2009).
7. Canini, M., Venzano, D., Peresini, P., Kostic, D., and Rexford, J. A NICE way to test OpenFlow applications. In NSDI (2012).
8. Feamster, N., and Balakrishnan, H. Detecting BGP configuration faults with static analysis. In NSDI (2005).
9. Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J., Story, A., and Walker, D. Frenetic: A network programming language. In ICFP (2011).
10. Gude, N., Koponen, T., Pettit, J., Pfaff, B., Casado, M., McKeown, N., and Shenker, S. NOX: Towards an operating system for networks. In SIGCOMM CCR (2008).
11. Kazemian, P., Varghese, G., and McKeown, N. Header space analysis: Static checking for networks. In NSDI (2012).
12. Mai, H., Khurshid, A., Agarwal, R., Caesar, M., Godfrey, P. B., and King, S. T. Debugging the data plane with Anteater. In SIGCOMM (2011).
13. McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., and Shenker, S. OpenFlow: Enabling innovation in campus networks. In SIGCOMM CCR (2008).
14. Reitblatt, M., Foster, N., Rexford, J., and Walker, D. Consistent updates for software-defined networks: Change you can believe in! In HotNets (2011).
15. Sherwood, R., Gibb, G., Yap, K.-K., Appenzeller, G., Casado, M., McKeown, N., and Parulkar, G. Can the production network be the testbed? In OSDI (2010).
16. Tavakoli, A., Casado, M., Koponen, T., and Shenker, S. Applying NOX to the datacenter. In HotNets (2009).
17. Varghese, G. Network Algorithmics: An interdisciplinary approach to designing fast networked devices, 2004.
18. Yuan, L., Mai, J., Su, Z., Chen, H., Chuah, C.-N., and Mohapatra, P. FIREMAN: A toolkit for firewall modeling and analysis. In IEEE SnP (2006).