skip to main content
research-article

Safer SDN programming through Arbiter

Published:26 October 2015Publication History
Skip Abstract Section

Abstract

Software Defined Networking (SDN) programs are written with respect to assumptions on software and hardware facilities and protocol definitions. Silent mismatches between the expected feature set and implemented feature set of SDN artifacts can easily lead to hard to debug network configurations, decreased network performance, outages, or worse, security vulnerabilities. We show how the paradigm of axiomatic programming, supported by practical dependent types, provides effective support for SDN executable specifications and verification.​

References

  1. Openflow table type patterns.Google ScholarGoogle Scholar
  2. C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker. Netkat: Semantic foundations for networks. ACM SIGPLAN Notices, 49(1):113–126, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. C. J. Casey, A. Sutton, and A. Sprintson. tinynbi: Distilling an api from essential openflow abstractions. In Proceedings of the third workshop on Hot topics in software defined networking, pages 37–42. ACM, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. G. Dos Reis. A system for axiomatic programming. In Intelligent Computer Mathematics, CICM 2012, pages 295–305. Springer Berlin Heidelberg, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. N. Feamster and H. Balakrishnan. Detecting bgp configuration faults with static analysis. In Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation-Volume 2, pages 43––56. USENIX Association, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A network programming language. In ACM SIGPLAN Notices, volume 46, pages 279–291. ACM, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Guha, M. Reitblatt, and N. Foster. Formal foundations for software defined networks. Open Net Summit, 2013.Google ScholarGoogle Scholar
  8. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. Openflow: enabling innovation in campus networks. ACM SIGCOMM Computer Communication Review, 38(2):69–74, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. W. Pugh. The omega test: a fast and practical integer programming algorithm for dependence analysis. In Proceedings of the 1991 ACM/IEEE conference on Supercomputing, pages 4–13. ACM, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. C. Schlesinger, M. Greenberg, and D. Walker. Concurrent netcore: from policies to pipelines. In Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, pages 11–24. ACM, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. R. Sherwood and Y. KOK-KIONG. Cbench: an open-flow controller benchmarker, 2010.Google ScholarGoogle Scholar
  12. R. E. Shostak. A practical decision procedure for arithmetic with function symbols. J. ACM, 26(2):351–360, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Safer SDN programming through Arbiter

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGPLAN Notices
              ACM SIGPLAN Notices  Volume 51, Issue 3
              GPCE '15
              March 2016
              184 pages
              ISSN:0362-1340
              EISSN:1558-1160
              DOI:10.1145/2936314
              • Editor:
              • Andy Gill
              Issue’s Table of Contents
              • cover image ACM Conferences
                GPCE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
                October 2015
                184 pages
                ISBN:9781450336871
                DOI:10.1145/2814204

              Copyright © 2015 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 26 October 2015

              Check for updates

              Qualifiers

              • research-article
            • Article Metrics

              • Downloads (Last 12 months)2
              • Downloads (Last 6 weeks)1

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!