A Unified Algebraic and Logic-Based Framework Towards Safe Routing Implementations

Abstract

In the past year, we have focused on two aspects of work. First, we applied concepts developed in the first two years in the domain of Software-defined Networks (SDN). We developed a declarative platform for implementing SDN protocols using declarative networking programs that can be automatically verified for correctness. We build a prototype tool and demonstrate the effectiveness of the tool in validating and debugging several SDN applications. Second, we have also developed a declarative platform for automatically synthesizing SDN protocols from example scenarios. Our results show that our synthesis algorithm can generate policy implementations in seconds, and the automatically generated policy implementations have performance comparable to their handcrafted implementations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 13, 2015
Accession Number
ADA622719

Entities

People

  • Boon T. Loo

Organizations

  • University of Pennsylvania

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Air Force Research Laboratories
  • Classification
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Cybersecurity
  • Digital Communications
  • Electronic Mail
  • Internet Routing
  • Network Architecture
  • Network Protocols
  • Networks
  • Routing Protocols
  • Software Defined Networks
  • Systems Engineering
  • Training

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Distributed Systems and Data Platform Development