Paper Info
Title
A Verification Platform for SDN-Enabled Applications
Abstract
Recent work on integration of SDNs with application-layer systems like Hadoop has created a class of system, SDN-Enabled Applications, which implement application-specific functionality on the network layer by exposing network monitoring and control semantics to application developers. This requires domain-specific knowledge to correctly reason about network behavior and properties, as the SDN is now tightly coupled to the larger system. Existing tools for SDN verification and analysis are insufficiently expressive to capture this composition of network and domain models. Unfortunately, it is exactly this kind of automated reasoning and verification that is necessary to develop robust SDN-enabled applications for real-world systems. In this paper, we present ongoing work on Verificare, a verification platform being built to enable formal verification of SDNs as components of a larger domain-specific system. SLA, safety, and security requirements can selected from a variety of formal libraries and automatically verified using a variety of off-the-shelf tools. This approach not only extends the flexibility of existing SDN verification systems, but can actually provide more fine-grained analysis of possible network states due to extra information supplied by the domain model.
Year
DOI
Venue
2014
10.1109/IC2E.2014.72
Cloud Engineering
Keywords
Field
DocType
contracts,distributed processing,formal verification,security of data,Hadoop system,SDN analysis,SDN verification,SDN-enabled applications,SLA,Verificare,application-layer systems,application-specific functionality,control semantics,formal verification,network behavior,network monitoring semantics,network property,safety requirement,security requirement,service level agreement,software defined networking,verification platform,formal verification,software-defined networking
Functional verification,Intelligent verification,Computer science,Runtime verification,Formal methods,Software-defined networking,High-level verification,Formal verification,Software verification,Distributed computing
Conference
ISSN
Citations 
PageRank 
2373-3845
12
0.59
References 
Authors
12
4
Name
Order
Citations
PageRank
Richard William Skowyra1292.19
Andrei Lapets27510.53
Azer Bestavros33791764.82
Assaf J. Kfoury4519.25