Veriflow: Verifying network-wide invariants in real time

Computer Communication Review

Volumn 42, Issue 4, 2012, Pages 467-472

  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

EID: 84893267876     PISSN: 01464833     EISSN: 19435819     Source Type: Conference Proceeding    
DOI: 10.1145/2377677.2377766     Document Type: Conference Paper

References (18)

1. Mininet: Rapid prototyping for software defined networks. http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Minii.
2. Open Flow switch specification. http://www.openflow.org/documents/ openflow-spec-vl.l.O.pdf.
3. Rocket fuel: An ISP topology mapping engine. http://www.cs.washington. edu/research/networking/rocketfi.
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 Open Flow infrastructures. In SafeConfig (2010).
6. Al-Shaer, E., Marrero, W., El-Atawy, a., and El-Badawi, 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 BOP 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. Open Flow: 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 Hot Nets (2009).
17. Varghese, G. Network Algorithinics: 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 StiP (2006).