Filters








6 Hits in 3.2 sec

Troubleshooting blackbox SDN control software with minimal causal sequences

Colin Scott, Sam Whitlock, H.B. Acharya, Kyriakos Zarifis, Scott Shenker, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu (+1 others)
2014 Proceedings of the 2014 ACM conference on SIGCOMM - SIGCOMM '14  
We apply our technique to five open source SDN control platforms-Floodlight, NOX, POX, Pyretic, ONOS-and illustrate how the minimal causal sequences our system found aided the troubleshooting process.  ...  In this paper we discuss how to improve control software troubleshooting by presenting a technique for automatically identifying a minimal sequence of inputs responsible for triggering a given bug, without  ...  spent on troubleshooting distributed systems like SDN control software, by automatically eliminating events from buggy traces that are not causally related to the bug, producing a "minimal causal sequence  ... 
doi:10.1145/2619239.2626304 dblp:conf/sigcomm/ScottWRPOLHLEWAZS14 fatcat:hb7x2genzba3npsm4q63bzbm7e

Troubleshooting blackbox SDN control software with minimal causal sequences

Colin Scott, Sam Whitlock, H.B. Acharya, Kyriakos Zarifis, Scott Shenker, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu (+1 others)
2014 Computer communication review  
We apply our technique to five open source SDN control platforms-Floodlight, NOX, POX, Pyretic, ONOS-and illustrate how the minimal causal sequences our system found aided the troubleshooting process.  ...  In this paper we discuss how to improve control software troubleshooting by presenting a technique for automatically identifying a minimal sequence of inputs responsible for triggering a given bug, without  ...  spent on troubleshooting distributed systems like SDN control software, by automatically eliminating events from buggy traces that are not causally related to the bug, producing a "minimal causal sequence  ... 
doi:10.1145/2740070.2626304 fatcat:osnxr4ntjndjtdemprlrqhc76a

A Comprehensive Security Assessment Framework for Software-Defined Networks

Seungsoo Lee, Jinwoo Kim, Seungwon Woo, Changhoon Yoon, Sandra Scott-Hayward, Vinod Yegneswaran, Phillip Porras, Seungwon Shin
2020 Computers & security  
In our evaluation, DELTA successfully reproduced 26 known attack scenarios, across diverse SDN controller environments, and also discovered 9 novel SDN application mislead attacks. * Corresponding author  ...  A B S T R A C T As Software-Defined Networking (SDN) is getting popular, its security issue is being magnified as a new controversy, and this trend can be found from recent studies of presenting possible  ...  The focus of STS is identifying the MCS (minimal causal sequence) associated with a bug.  ... 
doi:10.1016/j.cose.2020.101720 fatcat:by4qkyj42jamlak5t52tsaweau

Differential Provenance

Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015 Proceedings of the 14th ACM Workshop on Hot Topics in Networks - HotNets-XIV  
Troubleshooting blackbox SDN control software with minimal causal sequences. In Proc. SIGCOMM, 2014. [15] H. J. Wang, J. C. Platt, Y. Chen, R. Zhang, and Y.-M. Wang.  ...  Causal Sequence anal- texes, respectively, whereas differential provenance was able ysis [14], and ATPG [18].  ... 
doi:10.1145/2834050.2834111 dblp:conf/hotnets/ChenWHZL15 fatcat:oojyxajdkvfodbhufhgzsrtsrm

SDNRacer: concurrency analysis for software-defined networks

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
Concurrency violations are an important source of bugs in Software-Defined Networks (SDN), often leading to policy or invariant violations.  ...  We evaluated SDNRacer on several real-world SDN controllers, running both reactive and proactive applications in large networks.  ...  However, this is not relevant to our model because SDN-Racer treats the controller as a blackbox, allowing us to use SDNRacer on a wide set of controllers with minimal instrumentation in the controller  ... 
doi:10.1145/2908080.2908124 dblp:conf/pldi/El-HassanyMBVV16 fatcat:so27jtkorncwjb2trpw5v6sj74

Explainable AI for B5G/6G: Technical Aspects, Use Cases, and Research Challenges [article]

Shen Wang, M. Atif Qureshi, Luis Miralles-Pechuán, Thien Huynh-The, Thippa Reddy Gadekallu, Madhusanka Liyanage
2021
However, the risk of losing control over decision-making may increase due to high-speed data-intensive AI decision-making beyond designers and users' comprehension.  ...  This research aligns with goals 9, 11, 16, and 17 of the United Nations Sustainable Development Goals (UN-SDG), promoting innovation and building infrastructure, sustainable and inclusive human settlement  ...  network (SDN) and the network function virtualisation (NFV).  ... 
doi:10.48550/arxiv.2112.04698 fatcat:utn243lntjb7bbkbdbmyrecdxi