Accession Number : ADA622719


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


Descriptive Note : Final rept. 15 Jun 2012-15 Jun 2015


Corporate Author : PENNSYLVANIA UNIV PHILADELPHIA


Personal Author(s) : Loo, Boon T


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a622719.pdf


Report Date : 13 Aug 2015


Pagination or Media Count : 10


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.


Descriptors :   *COMPUTER NETWORK SECURITY , *INTERNET , *NETWORK ARCHITECTURE , *ROUTING , ALGEBRA , COMMUNICATIONS NETWORKS , COMMUNICATIONS PROTOCOLS , COMPUTER PROGRAMMING , DEBUGGING(COMPUTERS) , ERRORS , GRAPHS , LOGIC , SCENARIOS , SOFTWARE TOOLS , SYNTHESIS , VERIFICATION


Subject Categories : Computer Programming and Software
      Computer Systems Management and Standards
      Radio Communications


Distribution Statement : APPROVED FOR PUBLIC RELEASE