Composing software-defined networks

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013

Volumn , Issue , 2013, Pages 1-13

  Monsanto, Christopher ^a   Reich, Joshua ^a   Foster, Nate ^a   Rexford, Jennifer ^a   Walker, David ^a  

^a Cornell ^*

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ACCESS CONTROL; CONCURRENCY CONTROL; PROBLEM ORIENTED LANGUAGES; SOFTWARE DEFINED NETWORKING; SYSTEMS ANALYSIS;

BUILDING APPLICATIONS; COMPOSITION OPERATORS; DOMAIN SPECIFIC LANGUAGES; PACKET PROCESSING; PARALLEL COMPOSITION OPERATORS; SEQUENTIAL COMPOSITIONS; SOFTWARE DEFINED NETWORKING (SDN); TRAFFIC MONITORING;

APPLICATION PROGRAMS;

EID: 85076669711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Pyretic Reference Implementation. http://www.frenetic-lang.org/pyretic.
2. Beacon: A Java-based OpenFlow Control Platform., Nov. 2010. See http://www.beaconcontroller.net.
3. CAI, Z., COX, A. L., AND NG, T. S. E. Maestro: A System for Scalable OpenFlow Control. Tech. Rep. TR10-08, Rice University, Dec. 2010.
4. CASADO, M., KOPONEN, T., RAMANATHAN, R., AND SHENKER, S. Virtualizing the Network Forwarding Plane. In ACM PRESTO (Nov. 2010).
5. CORIN, R., GEROLA, M., RIGGIO, R., DE PELLEGRINI, F., AND SALVADORI, E. VeRTIGO: Network Virtualization and Beyond. In EWSDN (Oct. 2012), pp. 24-29.
6. FOSTER, N., HARRISON, R., FREEDMAN, M. J., MONSANTO, C., REXFORD, J., STORY, A., AND WALKER, D. Frenetic: A Network Programming Language. In ACM ICFP (Sep. 2011), pp. 279-291.
7. GUDE, N., KOPONEN, T., PETTIT, J., PFAFF, B., CASADO, M., MCKEOWN, N., AND SHENKER, S. NOX: Towards an Operating System for Networks. ACM SIGCOMM CCR 38, 3 (2008).
8. GUTZ, S., STORY, A., SCHLESINGER, C., AND FOSTER, N. Splendid Isolation: A Slice Abstraction for Software-Defined Networks. In ACM SIGCOMM HotSDN (Aug. 2012), pp. 79-84.
9. HINRICHS, T. L., GUDE, N. S., CASADO, M., MITCHELL, J. C., AND SHENKER, S. Practical Declarative Network Management. In ACM SIGCOMM WREN (Aug. 2009), pp. 1-10.
10. KELLER, E., AND REXFORD, J. The'Platform as a Service' Model for Networking. In IMN/WREN (Apr. 2010).
11. KOHLER, E., MORRIS, R., CHEN, B., JANNOTTI, J., AND KAASHOEK., M. F. The Click Modular Router. ACM TOCS 18, 3 (Aug. 2000), 263-297.
12. KOPONEN, T., CASADO, M., GUDE, N., STRIBLING, J., POUTIEVSKI, L., ZHU, M., RAMANATHAN, R., IWATA, Y., INOUE, H., HAMA, T., AND SHENKER, S. Onix: A Distributed Control Platform for Large-scale Production Networks. In USENIX OSDI (Oct. 2010), pp. 351-364.
13. MCKEOWN, N., ANDERSON, T., BALAKRISHNAN, H., PARULKAR, G., PETERSON, L., REXFORD, J., SHENKER, S., AND TURNER, J. OpenFlow: Enabling Innovation in Campus Networks. ACM SIGCOMM CCR 38, 2 (2008), 69-74.
14. MONSANTO, C., FOSTER, N., HARRISON, R., AND WALKER, D. A compiler and run-time system for network programming languages. In ACM POPL (Jan. 2012), pp. 217-230.
15. NAYAK, A., REIMERS, A., FEAMSTER, N., AND CLARK, R. Resonance: Dynamic Access Control in Enterprise Networks. In ACM SIGCOMM WREN (Aug. 2009), pp. 11-18.
16. NICIRA. It's time to virtualize the network, 2012. http://nicira.com/en/network-virtualization-platform.
17. NICIRA. Networking in the era of virtualization. http://nicira.com/sites/default/files/docs/Networking% 20in%20the%20Era%20of%20Virtualization.pdf, 2012.
18. PERLMAN, R. Rbridges: Transparent Routing. In IEEE INFO-COM (Mar. 2004), pp. 1211-1218.
19. POX. http://www.noxrepo.org/pox/about-pox/.
20. SHENKER, S. The Future of Networking and the Past of Protocols, Oct. 2011. Invited talk at Open Networking Summit.
21. SHERWOOD, R., GIBB, G., YAP, K.-K., APPENZELLER, G., CASADO, M., MCKEOWN, N., AND PARULKAR, G. Can the Production Network Be the Testbed? In USENIX OSDI (Oct. 2010), pp. 365-378.
22. SHIN, S., PORRAS, P., YEGNESWARAN, V., FONG, M., GU, G., AND TYSON, M. FRESCO: Modular Composable Security Services for Software-Defined Networks. In Internet Society NDSS (Feb. 2013). To appear.
23. TOUCH, J., AND PERLMAN, R. Transparent Interconnection of Lots of Links (TRILL): Problem and Applicability Statement, May 2009. IETF RFC 5556.
24. VOELLMY, A., AND HUDAK, P. Nettle: Functional Reactive Programming of OpenFlow Networks. In ACM PADL (Jan. 2011), pp. 235-249.
25. WEBB, K. C., SNOEREN, A. C., AND YOCUM, K. Topology switching for data center networks. In USENIX HotICE (Mar. 2011).