A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
An assertion language for debugging SDN applications
2014
Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14
• Change in assertion property! • Incrementally generate new verification conditions! client!
server!
State!
Table!
s 1!
A!
c 1!
c 2!
B!
X!
3! ...
• Change in assertion property!
• Incrementally generate new verification conditions!
Incremental Verification!
6!
reachable(s 1, c 2 )!
reachable(s 1, c 1 ) ∧!
s 1!
A!
c 1!
c 2! ...
doi:10.1145/2620728.2620743
dblp:conf/sigcomm/BeckettZZMRW14
fatcat:pf7u73643jfctmy5j5vmtfo724
Controller-agnostic SDN Debugging
2014
Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies - CoNEXT '14
Complexity in software-defined network (SDN) applications calls for methods and tools that can facilitate comprehensive debugging and analysis. ...
In this paper, we describe OFf, a debugging and test environment for SDN developers. ...
ACKNOWLEDGMENTS We thank the reviewers for their invaluable feedback. ...
doi:10.1145/2674005.2674993
dblp:conf/conext/DurairajanSB14
fatcat:slaz4agah5guznyga3lviq5lpy
NetIDE: First Steps towards an Integrated Development Environment for Portable Network Apps
2013
2013 Second European Workshop on Software Defined Networks
In this paper we present the roadmap toward NetIDE, an integrated development environment which aims at supporting the whole development lifecycle of vendor-agnostic network applications. ...
Nowadays, while most of the programmable network apparatus vendors support OpenFlow, a number of fragmented control plane solutions exist for proprietary Software-Defined Networks. ...
ACKNOWLEDGMENT The authors would like to thank Joe Butler (Intel), Ladislav Lhotka (CZ.NIC Labs), Gerard Nguengang (Thales), Bernhard Schräder (Fujitsu) and Maciej Kuzniar (EPFL) for their valuable feedbacks ...
doi:10.1109/ewsdn.2013.24
dblp:conf/ewsdn/FaccaSKLAKR13
fatcat:pl34rwoptncx3m2qsp4yo2gowu
From model to implementation: a network algorithm programming language
2020
Science China Information Sciences
Keywords software-defined networking (SDN), network algorithm programming language (NAPL), network abstraction Citation Wang J, An J, Chen M S, et al. ...
However, as the application programming interfaces (APIs) of SDN are low-level or functionality-restricted, SDN programmers cannot easily keep pace with the ever-changing devices, topologies, and demands ...
As the first SDN programming language, FML provides a rule-based idiom for forwarding policies. ...
doi:10.1007/s11432-019-2644-8
fatcat:3pxvjexhpjcafa5ddcxruiaegq
Security in software-defined wireless sensor networks: Threats, challenges and potential solutions
2017
2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
other applications such as smart water management. ...
This is an area that has received little attention within the development of SDWSNs, as most research addresses security concerns within SDN and WSNs independently. ...
VeriFlow [16] is an assertion based debugging and verification language used to debug any faulty rules before they cause harm to the network. ...
doi:10.1109/indin.2017.8104765
dblp:conf/indin/Pritchard0A17
fatcat:o3hcfg3ocff2pkfzxb43sluqmy
Software-Defined Networking: A Comprehensive Survey
[article]
2014
arXiv
pre-print
, and network applications. ...
We provide an in-depth analysis of the hardware infrastructure, southbound and northbound APIs, network virtualization layers, network operating systems (SDN controllers), network programming languages ...
Jennifer Rexford for her feedback on an early version of this work and encouragement to get it finished. Srini Seetharaman for reviewing the draft and providing inputs to alternative SDN views. ...
arXiv:1406.0440v3
fatcat:usdyjgdys5h3foowmq6qvih3e4
Software-Defined Networking: A Comprehensive Survey
2015
Proceedings of the IEEE
We provide an in-depth analysis of the hardware infrastructure, southbound and northbound APIs, network virtualization layers, network operating systems (SDN controllers), network programming languages ...
, and network applications. ...
Jennifer Rexford for her feedback on an early version of this work and encouragement to get it finished. Srini Seetharaman for reviewing the draft and providing inputs to alternative SDN views. ...
doi:10.1109/jproc.2014.2371999
fatcat:azqmynutpfgl7lovrg7qxdnl2u
Applying Formal Methods to Networking: Theory, Techniques, and Applications
2015
IEEE Communications Surveys and Tutorials
This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. ...
The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built ...
., an assertion P may be false in the present world, however, the assertion "possibly P " will be true if the assertion P is true in some alternate world [47] . ...
doi:10.1109/comst.2014.2345792
fatcat:oc6l6pn4tnddjbbr5v4gbbuycq
Automatic belief network modeling via policy inference for SDN fault localization
2016
Journal of Internet Services and Applications
An SDN controller takes the policies from multiple parties and provisions the requested services on its orchestrated SDN network. ...
In the MPI system, a service oriented high level policy language is used to specify network services provisioned between end nodes. ...
[20] implemented an assertion language for SDN applications on top of VeriFlow. ...
doi:10.1186/s13174-016-0043-y
fatcat:ny7oyp66vjdlrehwhs4hdpi7he
Survey of Software Components to Emulate OpenFlow Protocol as an SDN Implementation
2014
American Journal of Software Engineering and Applications
It may be considered as a revolution rather than an evolution since; many concepts of conventional network protocols are reshaped. OpenFlow protocol is the most widely deployed protocol in SDN. ...
Furthermore, the tested controllers differs in the applications they support. ...
POX uses Python API (version 2.7) to support network virtualization, SDN debugging, and different application such as layer-2 switch, bridge, hub, etc [22] . ...
doi:10.11648/j.ajsea.20140306.12
fatcat:kcttvwvfojavbkspjknfe6iqfm
Charting the Security Landscape of Programmable Dataplanes
[article]
2018
arXiv
pre-print
We in this position paper argue that the programmable dataplanes in general and P4 in particular introduce an uncharted security landscape. ...
Applications. These are the primary assets in the control plane. An application is (potentially third-party) software designed to manage and perform specific actions within an SDN. P4Info. ...
for an overview. ...
arXiv:1807.00128v1
fatcat:gnyqi6gek5bffltqrd3wmklfhu
A Verification Platform for SDN-Enabled Applications
2014
2014 IEEE International Conference on Cloud Engineering
Unfortunately, it is exactly this kind of automated reasoning and verification that is necessary to develop robust SDN-enabled applications for real-world systems. ...
Recent work on integration of SDNs with application-layer systems like Hadoop has created a class of system, SDN-Enabled Applications, which implement applicationspecific functionality on the network layer ...
The ndb tool, for example, is a debugging system for SDNs which implements standard debugger semantics (breakpoints, backtrace, etc.) over SDN controllers [9] . ...
doi:10.1109/ic2e.2014.72
dblp:conf/ic2e/SkowyraLBK14
fatcat:xhtpclcejbddfbipnvpljn3g4i
Advancing SDN: from OpenFlow to P4, a Survey
2022
ACM Computing Surveys
This work is an extensive survey of the P4 language covering domains of application, a detailed overview of the language and future directions. ...
The Next Generation SDN is defined by Open Interfaces and full programmability of the data plane. ...
Open Data Plane (ODP) [126] is an open source project for development of data plane applications through a common API in C language. ...
doi:10.1145/3556973
fatcat:zxdstdvbqvau3p37fergtvl5ma
A Survey on Network Verification and Testing with Formal Methods: Approaches and Challenges
2018
IEEE Communications Surveys and Tutorials
As an area of current interest, it is an interdisciplinary subject (with fields including formal methods, mathematical logic, programming languages, and networks), making it daunting for a nonprofessional ...
We perform a comprehensive survey on well-developed methodologies and tools for data plane verification, control plane verification, data plane testing and control plane testing. ...
ACKNOWLEDGMENT The authors thank the anonymous reviewers for their suggestions. ...
doi:10.1109/comst.2018.2868050
fatcat:h3op4heca5d75bpokfsbfevnwe
Improving Software Defined Cognitive and Secure Networking
[article]
2020
arXiv
pre-print
Since SDN enables applications to change the network behavior and centralizes the network control plane to oversee the whole network, it is highly important to investigate security of SDNs. ...
Therefore, this thesis finds potential security vulnerabilities in SDN, studies proposed security platforms and architectures for those vulnerabilities, and presents future directions for unresolved security ...
An assertion language that supports verifying and debugging SDN applications is proposed in [93] . ...
arXiv:2007.05296v1
fatcat:pda2czqmxbavhpc6bk3bdciyay
« Previous
Showing results 1 — 15 out of 165 results