Fault Management in Software-Defined Networking: A Survey
暂无分享,去创建一个
Xing Li | Kai Bu | Yan Chen | Jianfeng Yang | Liang Zhang | Libin Song | Xue Leng | Xin Xiao | Yinbo Yu | Kang Cheng | Yan Chen | Xing Li | Yinbo Yu | Kai Bu | Liang Zhang | Jianfeng Yang | Xue Leng | Kang Cheng | Libin Song | Xin Xiao
[1] Theophilus Benson,et al. Isolating and Tolerating SDN Application Failures with LegoSDN , 2016, SOSR.
[2] Nick McKeown,et al. OpenFlow: enabling innovation in campus networks , 2008, CCRV.
[3] Nick McKeown,et al. I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks , 2014, NSDI.
[4] Azer Bestavros,et al. Verifiably-safe software-defined networks for CPS , 2013, HiCoNS '13.
[5] Matthew Caesar,et al. NEAt: Network Error Auto-Correct , 2017, SOSR.
[6] Anja Feldmann,et al. OFRewind: Enabling Record and Replay Troubleshooting for Networks , 2011, USENIX Annual Technical Conference.
[7] Hongkun Yang,et al. Real-Time Verification of Network Properties Using Atomic Predicates , 2016, IEEE/ACM Trans. Netw..
[8] George Varghese,et al. Usenix Association 10th Usenix Symposium on Networked Systems Design and Implementation (nsdi '13) 99 Real Time Network Policy Checking Using Header Space Analysis , 2022 .
[9] Dejan Kostic,et al. ProboScope: Data Plane Probe Packet Generation , 2014 .
[10] Nick McKeown,et al. Leveraging SDN layering to systematically troubleshoot networks , 2013, HotSDN '13.
[11] Ming Zhang,et al. A network-state management service , 2014 .
[12] Ying Zhang,et al. PGA: Using Graphs to Express and Automatically Reconcile Network Policies , 2015, Comput. Commun. Rev..
[13] Jamal Hadi Salim,et al. Forwarding and Control Element Separation (ForCES) Protocol Specification , 2010, RFC.
[14] Xin Jin,et al. Incremental update for a compositional SDN hypervisor , 2014, HotSDN.
[15] Yong Wang,et al. Towards a Security-Enhanced Firewall Application for OpenFlow Networks , 2013, CSS.
[16] Albert G. Greenberg,et al. Ananta: cloud scale load balancing , 2013, SIGCOMM.
[17] Dennis M. Volpano,et al. Towards systematic detection and resolution of network control conflicts , 2014, HotSDN.
[18] András Gulyás,et al. One tool to rule them all: a modular troubleshooting framework for SDN (and other) networks , 2015, SOSR.
[19] Peng Zhang,et al. Towards rule enforcement verification for software defined networks , 2017, IEEE INFOCOM 2017 - IEEE Conference on Computer Communications.
[20] Yashar Ganjali,et al. Kandoo: a framework for efficient and scalable offloading of control applications , 2012, HotSDN '12.
[21] Mabry Tyson,et al. A security enforcement kernel for OpenFlow networks , 2012, HotSDN '12.
[22] Vladimir Braverman,et al. One Sketch to Rule Them All: Rethinking Network Flow Monitoring with UnivMon , 2016, SIGCOMM.
[23] Jae-Hyoung Yoo,et al. Scalable failover method for Data Center Networks using OpenFlow , 2014, 2014 IEEE Network Operations and Management Symposium (NOMS).
[24] Fernando A. Kuipers,et al. SDN and Virtualization Solutions for the Internet of Things: A Survey , 2016, IEEE Access.
[25] George Varghese,et al. Header Space Analysis: Static Checking for Networks , 2012, NSDI.
[26] Qiang Xu,et al. Enabling layer 2 pathlet tracing through context encoding in software-defined networking , 2014, HotSDN.
[27] Stenio F. L. Fernandes,et al. A Software Engineering Perspective on SDN Programmability , 2016, IEEE Communications Surveys & Tutorials.
[28] Marco Canini,et al. A SOFT way for openflow switch interoperability testing , 2012, CoNEXT '12.
[29] Nick Feamster,et al. CORONET: Fault tolerance for Software Defined Networks , 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).
[30] Da Yu,et al. Simon: scriptable interactive monitoring for SDNs , 2015, SOSR.
[31] Jake Silverman,et al. Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis , 2016, SOSR.
[32] Deborah Brungard,et al. Requirements of an MPLS Transport Profile , 2009, RFC.
[33] Raj Jain,et al. Network virtualization and software defined networking for cloud computing: a survey , 2013, IEEE Communications Magazine.
[34] Paul Barford,et al. Fast, accurate simulation for SDN prototyping , 2013, HotSDN '13.
[35] Martín Casado,et al. Network Virtualization in Multi-tenant Datacenters , 2014, NSDI.
[36] Didier Colle,et al. Enabling fast failure recovery in OpenFlow networks , 2011, 2011 8th International Workshop on the Design of Reliable Communication Networks (DRCN).
[37] Ehab Al-Shaer,et al. FlowChecker: configuration analysis and verification of federated openflow infrastructures , 2010, SafeConfig '10.
[38] Marco Canini,et al. OFTEN Testing OpenFlow Networks , 2012, 2012 European Workshop on Software Defined Networking.
[39] Michael J. Freedman,et al. Ravana: controller fault-tolerance in software-defined networking , 2015, SOSR.
[40] Wei Zhang,et al. When Software Defined Networks Meet Fault Tolerance: A Survey , 2015, ICA3PP.
[41] Laurent Vanbever,et al. SDNRacer: detecting concurrency violations in software-defined networks , 2015, SOSR.
[42] Kuang-Ching Wang,et al. State-aware Network Access Management for Software-Defined Networks , 2016, SACMAT.
[43] Rob Sherwood,et al. OFLOPS: An Open Framework for OpenFlow Switch Evaluation , 2012, PAM.
[44] Laurent Vanbever,et al. SDNRacer: concurrency analysis for software-defined networks , 2016, PLDI.
[45] Elisa Rojas. From Software-Defined to Human-Defined Networking: Challenges and Opportunities , 2018, IEEE Network.
[46] Ying Zhang,et al. On Resilience of Split-Architecture Networks , 2011, 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011.
[47] Jun Luo,et al. Cracking network monitoring in DCNs with SDN , 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).
[48] Bruce S. Davie,et al. The Open vSwitch Database Management Protocol , 2013, RFC.
[49] Mourad Debbabi,et al. A Survey and a Layered Taxonomy of Software-Defined Networking , 2014, IEEE Communications Surveys & Tutorials.
[50] Xin Jin,et al. CoVisor: A Compositional Hypervisor for Software-Defined Networks , 2015, NSDI.
[51] Jan Medved,et al. OpenDaylight: Towards a Model-Driven SDN Controller architecture , 2014, Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2014.
[52] Qi Han,et al. Journal of Network and Systems Management ( c ○ 2007) DOI: 10.1007/s10922-007-9062-0 A Survey of Fault Management in Wireless Sensor Networks , 2022 .
[53] Kurt Schneider,et al. Automatically recommending test code examples to inexperienced developers , 2015, ESEC/SIGSOFT FSE.
[54] Katerina J. Argyraki,et al. Verifying Isolation Properties in the Presence of Middleboxes , 2014, ArXiv.
[55] Minlan Yu,et al. Software Defined Traffic Measurement with OpenSketch , 2013, NSDI.
[56] Ying Zhang,et al. NetRevert: rollback recovery in SDN , 2014, HotSDN.
[57] Yashar Ganjali,et al. HyperFlow: A Distributed Control Plane for OpenFlow , 2010, INM/WREN.
[58] Hao Li,et al. Mind the Gap: Monitoring the Control-Data Plane Consistency in Software Defined Networks , 2016, CoNEXT.
[59] Miroslaw Malek,et al. Survey of software tools for evaluating reliability, availability, and serviceability , 1988, CSUR.
[60] Mohamed Faten Zhani,et al. Dynamic Controller Provisioning in Software Defined Networks , 2013, Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013).
[61] Arjun Guha,et al. Machine-verified network controllers , 2013, PLDI.
[62] Jürgen Schönwälder,et al. Network Configuration Protocol (NETCONF) , 2011, RFC.
[63] Mukul R. Prasad,et al. Delta-net: Real-time Network Verification Using Atoms , 2017, NSDI.
[64] Jim Esch,et al. Software-Defined Networking: A Comprehensive Survey , 2015, Proc. IEEE.
[65] Sujata Banerjee,et al. Democratic Resolution of Resource Conflicts Between SDN Control Programs , 2014, CoNEXT.
[66] Giuseppe Bianchi,et al. OpenState: programming platform-independent stateful openflow applications inside the switch , 2014, CCRV.
[67] Jianping Wu,et al. Model Based Black-Box Testing of SDN Applications , 2014, CoNEXT Student Workshop '14.
[68] Andreas Haeberlen,et al. Diagnosing missing events in distributed systems with negative provenance , 2015, SIGCOMM 2015.
[69] Minlan Yu,et al. FlowTags: enforcing network-wide policies in the presence of dynamic middlebox actions , 2013, HotSDN '13.
[70] Vinod Yegneswaran,et al. Model checking invariant security properties in OpenFlow , 2013, 2013 IEEE International Conference on Communications (ICC).
[71] Jacobus E. van der Merwe,et al. HyPer4: Using P4 to Virtualize the Programmable Data Plane , 2016, CoNEXT.
[72] Tianlong Yu,et al. BUZZ: Testing Context-Dependent Policies in Stateful Networks , 2016, NSDI.
[73] Abdulsalam Yassine,et al. Software defined network traffic measurement: Current trends and challenges , 2015, IEEE Instrumentation & Measurement Magazine.
[74] Andreas Haeberlen,et al. The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance , 2016, SIGCOMM.
[75] Mathis Obadia,et al. Failover mechanisms for distributed SDN controllers , 2014, 2014 International Conference and Workshop on the Network of the Future (NOF).
[76] Sharad Malik,et al. Abstractions for model checking SDN controllers , 2013, 2013 Formal Methods in Computer-Aided Design.
[77] Monia Ghobadi,et al. OpenTM: Traffic Matrix Estimator for OpenFlow Networks , 2010, PAM.
[78] Chen Sun,et al. SFA: Stateful Forwarding Abstraction in SDN Data Plane , 2014, ONS.
[79] Muhammad Zahid Khan,et al. FAULT MANAGEMENT IN WIRELESS SENSOR NETWORKS , 2013 .
[80] Hongkun Yang,et al. Scalable Verification of Networks With Packet Transformers Using Atomic Predicates , 2017, IEEE/ACM Transactions on Networking.
[81] Rui Abreu,et al. A Survey on Software Fault Localization , 2016, IEEE Transactions on Software Engineering.
[82] EDDIE KOHLER,et al. The click modular router , 2000, TOCS.
[83] Chi Harold Liu,et al. Control traffic protection in software-defined networks , 2014, 2014 IEEE Global Communications Conference.
[84] Stanislav Lange,et al. Heuristic Approaches to the Controller Placement Problem in Large Scale SDN Networks , 2015, IEEE Transactions on Network and Service Management.
[85] Didier Colle,et al. OpenFlow: Meeting carrier-grade recovery requirements , 2013, Comput. Commun..
[86] Didier Colle,et al. Fast failure recovery for in-band OpenFlow networks , 2013, 2013 9th International Conference on the Design of Reliable Communication Networks (DRCN).
[87] Michael Schapira,et al. VeriCon: towards verifying controller programs in software-defined networks , 2014, PLDI.
[88] Stefan Schmid,et al. Reclaiming the Brain: Useful OpenFlow Functions in the Data Plane , 2014, HotNets.
[89] Rodrigo Fonseca,et al. Planck , 2014, SIGCOMM.
[90] Xin Huang,et al. Efficient conflict detection in flow-based virtualized networks , 2012, 2012 International Conference on Computing, Networking and Communications (ICNC).
[91] Maciej Kuźniar,et al. What You Need to Know About SDN Flow Tables , 2015, PAM.
[92] Minlan Yu,et al. HONE: Joint Host-Network Traffic Management in Software-Defined Networks , 2014, Journal of Network and Systems Management.
[93] Shriram Krishnamurthi,et al. Tierless Programming and Reasoning for Software-Defined Networks , 2014, NSDI.
[94] David Walker,et al. Frenetic: a network programming language , 2011, ICFP.
[95] Wolfgang Kellerer,et al. Survey on Network Virtualization Hypervisors for Software Defined Networking , 2015, IEEE Communications Surveys & Tutorials.
[96] Bo Yang,et al. RuleTris: Minimizing Rule Update Latency for TCAM-Based SDN Switches , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).
[97] Dejan Kostic,et al. Providing Reliable FIB Update Acknowledgments in SDN , 2014, CoNEXT.
[98] Fernando M. V. Ramos,et al. SMaRtLight: A Practical Fault-Tolerant SDN Controller , 2014, ArXiv.
[99] Marco Canini,et al. SDLoad: an extensible framework for SDN workload generation , 2014, HotSDN.
[100] Brighten Godfrey,et al. VeriFlow: verifying network-wide invariants in real time , 2012, HotSDN '12.
[101] Qi Hao,et al. A Survey on Software-Defined Network and OpenFlow: From Concept to Implementation , 2014, IEEE Communications Surveys & Tutorials.
[102] Anirudh Sivaraman,et al. Language-Directed Hardware Design for Network Performance Monitoring , 2017, SIGCOMM.
[103] Nick McKeown,et al. Where is the debugger for my software-defined network? , 2012, HotSDN '12.
[104] Ahmed Toumanari,et al. Survey of Security in Software-Defined Network , 2017 .
[105] Koji Okamura,et al. Fast failover mechanism for software defined networking: OpenFlow based , 2014, CFI '14.
[106] Scott Shenker,et al. How Did We Get Into This Mess? Isolating Fault- Inducing Inputs to SDN Control Software , 2013 .
[107] Marco Canini,et al. A NICE Way to Test OpenFlow Applications , 2012, NSDI.
[108] Sanjay Jha,et al. A Survey of Securing Networks Using Software Defined Networking , 2015, IEEE Transactions on Reliability.
[109] Arjan Durresi,et al. A survey: Control plane scalability issues and approaches in Software-Defined Networking (SDN) , 2017, Comput. Networks.
[110] Pavol Cerný,et al. Optimizing horn solvers for network repair , 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
[111] Nate Foster,et al. NetKAT: semantic foundations for networks , 2014, POPL.
[112] Ramesh Govindan,et al. Flow-level state transition as a new switch primitive for SDN , 2014, HotSDN.
[113] Rob Sherwood,et al. The controller placement problem , 2012, HotSDN@SIGCOMM.
[114] Marco Canini,et al. Is your OpenFlow application correct? , 2011, CoNEXT '11 Student.
[115] Yashar Ganjali,et al. On scalability of software-defined networking , 2013, IEEE Communications Magazine.
[116] Bo Yang,et al. Is every flow on the right track?: Inspect SDN forwarding with RuleScope , 2016, IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.
[117] Sriram Natarajan,et al. A Software defined Cloud-Gateway automation system using OpenFlow , 2013, 2013 IEEE 2nd International Conference on Cloud Networking (CloudNet).
[118] Jean-Baptiste Jeannin,et al. Correct by Construction Networks Using Stepwise Refinement , 2017, NSDI.
[119] Myungjin Lee,et al. Simplifying Datacenter Network Debugging with PathDump , 2016, OSDI.
[120] Anja Feldmann,et al. Incremental SDN deployment in enterprise networks , 2013, Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication.
[121] Rob Sherwood,et al. On Controller Performance in Software-Defined Networks , 2012, Hot-ICE.
[122] Alan L. Cox,et al. Scalable Multi-Failure Fast Failover via Forwarding Table Compression , 2016, SOSR.
[123] Susan Hares,et al. Network Programmability With ForCES , 2015, IEEE Communications Surveys & Tutorials.
[124] Pavlin Radoslavov,et al. ONOS: towards an open, distributed SDN OS , 2014, HotSDN.
[125] Marina Thottan,et al. Latency in Software Defined Networks: Measurements and Mitigation Techniques , 2015, SIGMETRICS.
[126] Gargi Dasgupta,et al. Anomaly Detection Using Program Control Flow Graph Mining From Execution Logs , 2016, KDD.
[127] Vijay Mann,et al. JURY: Validating Controller Actions in Software-Defined Networks , 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
[128] Franck Le,et al. Stateless Network Functions: Breaking the Tight Coupling of State and Processing , 2017, NSDI.
[129] Kostas Pentikousis,et al. Software-Defined Networking (SDN): Layers and Architecture Terminology , 2015, RFC.
[130] Scott Shenker,et al. What, Where, and When: Software Fault Localization for SDN , 2012 .
[131] Shriram Krishnamurthi,et al. Static Differential Program Analysis for Software-Defined Networks , 2015, FM.
[132] George Varghese,et al. Automatic Test Packet Generation , 2012, IEEE/ACM Transactions on Networking.
[133] Haoyu Song,et al. Protocol-oblivious forwarding: unleash the power of SDN through a future-proof forwarding plane , 2013, HotSDN '13.
[134] Gail-Joon Ahn,et al. FLOWGUARD: building robust firewalls for software-defined networks , 2014, HotSDN.
[135] Xiang-Yang Li,et al. Incremental Deployment and Throughput Maximization Routing for a Hybrid SDN , 2017, IEEE/ACM Transactions on Networking.
[136] Min Zhu,et al. B4: experience with a globally-deployed software defined wan , 2013, SIGCOMM.
[137] Brad A. Myers,et al. Debugging reinvented , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[138] Rastin Pries,et al. A Flexible OpenFlow-Controller Benchmark , 2012, 2012 European Workshop on Software Defined Networking.
[139] David Erickson,et al. The beacon openflow controller , 2013, HotSDN '13.
[140] Min Chen,et al. Software-Defined Network Function Virtualization: A Survey , 2015, IEEE Access.
[141] Paul Barford,et al. Controller-agnostic SDN Debugging , 2014, CoNEXT.
[142] Andreas Haeberlen,et al. Automated Network Repair with Meta Provenance , 2015, HotNets.
[143] Gaogang Xie,et al. Action computation for compositional software-defined networking , 2016, 2016 IFIP Networking Conference (IFIP Networking) and Workshops.
[144] Vyas Sekar,et al. Testing stateful and dynamic data planes with FlowTest , 2014, HotSDN.
[145] Nei Kato,et al. State-of-the-Art Deep Learning: Evolving Machine Intelligence Toward Tomorrow’s Intelligent Network Traffic Control Systems , 2017, IEEE Communications Surveys & Tutorials.
[146] Patrick Th. Eugster,et al. Composing Heterogeneous SDN Controllers with Flowbricks , 2014, 2014 IEEE 22nd International Conference on Network Protocols.
[147] Jamal Hadi Salim,et al. Forwarding and Control Element Separation (ForCES) Forwarding Element Model , 2010, RFC.
[148] Ji Yang,et al. Rethinking the Design of OpenFlow Switch Counters , 2016, SIGCOMM.
[149] Andrei V. Gurtov,et al. Security in Software Defined Networks: A Survey , 2015, IEEE Communications Surveys & Tutorials.
[150] Andreas Haeberlen,et al. Automated Bug Removal for Software-Defined Networks , 2017, NSDI.
[151] Marco Canini,et al. Automatic failure recovery for software-defined networks , 2013, HotSDN '13.
[152] Muhammad Awais,et al. Performance evaluation of OpenDaylight SDN controller , 2014, 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS).
[153] Fernando A. Kuipers,et al. Fast Recovery in Software-Defined Networks , 2014, 2014 Third European Workshop on Software Defined Networks.
[154] Andrew Warfield,et al. Split/Merge: System Support for Elastic Execution in Virtual Middleboxes , 2013, NSDI.
[155] Zhi Liu,et al. Troubleshooting blackbox SDN control software with minimal causal sequences , 2014 .
[156] George Varghese,et al. Checking Beliefs in Dynamic Networks , 2015, NSDI.
[157] Dejan Kostic,et al. Monocle: dynamic, fine-grained data plane monitoring , 2015, CoNEXT.
[158] David Walker,et al. Composing Software Defined Networks , 2013, NSDI.
[159] Costin Raiciu,et al. SymNet: Scalable symbolic execution for modern networks , 2016, SIGCOMM.
[160] András Gulyás,et al. EPOXIDE: A Modular Prototype for SDN Troubleshooting , 2015, SIGCOMM.
[161] Xin Jin,et al. SketchVisor: Robust Network Measurement for Software Packet Processing , 2017, SIGCOMM.
[162] Minzhe Guo,et al. Controller Placement for Improving Resilience of Software-Defined Networks , 2013, 2013 Fourth International Conference on Networking and Distributed Computing.
[163] Sylvia Ratnasamy,et al. A Survey of Enterprise Middlebox Deployments , 2012 .
[164] David Walker,et al. Compiling Path Queries , 2016, NSDI.
[165] Song Guo,et al. Byzantine-Resilient Secure Software-Defined Networks with Multiple Controllers in Cloud , 2014, IEEE Transactions on Cloud Computing.
[166] Ramesh Govindan,et al. Trumpet: Timely and Precise Triggers in Data Centers , 2016, SIGCOMM.
[167] Junda Liu,et al. Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks , 2014, NSDI.
[168] Chen Liang,et al. Participatory networking: an API for application control of SDNs , 2013, SIGCOMM.
[169] Rupak Majumdar,et al. Kuai: A model checker for software-defined networks , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
[170] Jennifer Rexford,et al. Dapper: Data Plane Performance Diagnosis of TCP , 2016, SOSR.
[171] Cole Schlesinger,et al. Splendid isolation: a slice abstraction for software-defined networks , 2012, HotSDN '12.
[172] Minlan Yu,et al. SIMPLE-fying middlebox policy enforcement using SDN , 2013, SIGCOMM.
[173] Azer Bestavros,et al. A Verification Platform for SDN-Enabled Applications , 2014, 2014 IEEE International Conference on Cloud Engineering.
[174] David Walker,et al. A compiler and run-time system for network programming languages , 2012, POPL '12.
[175] Marco Canini,et al. FatTire: declarative fault tolerance for software-defined networks , 2013, HotSDN '13.
[176] Dave Katz,et al. Bidirectional Forwarding Detection (BFD) , 2010, RFC.
[177] Didier Colle,et al. In-band control, queuing, and failure recovery functionalities for openflow , 2016, IEEE Network.
[178] Harsha V. Madhyastha,et al. FlowSense: Monitoring Network Utilization with Zero Measurement Cost , 2013, PAM.
[179] Laurent Vanbever,et al. BigBug: Practical Concurrency Analysis for SDN , 2017, SOSR.
[180] Yang Xu,et al. Identifying SDN state inconsistency in OpenStack , 2015, SOSR.
[181] Kai Bu,et al. RuleScope: Inspecting Forwarding Faults for Software-Defined Networking , 2017, IEEE/ACM Transactions on Networking.
[182] Phuoc Tran-Gia,et al. OFCProbe: A platform-independent tool for OpenFlow controller analysis , 2014, 2014 IEEE Fifth International Conference on Communications and Electronics (ICCE).
[183] Stefan Schmid,et al. Provable data plane connectivity with local fast failover: introducing openflow graph algorithms , 2014, HotSDN.
[184] Luciano Paschoal Gaspary,et al. Survivor: An enhanced controller placement strategy for improving SDN survivability , 2014, 2014 IEEE Global Communications Conference.
[185] Ben Y. Zhao,et al. Packet-Level Telemetry in Large Datacenter Networks , 2015, SIGCOMM.
[186] Petr Kuznetsov,et al. STN: A Robust and Distributed SDN Control Plane , 2014 .
[187] Takayuki Sasaki,et al. Control-plane isolation and recovery for a secure SDN architecture , 2016, 2016 IEEE NetSoft Conference and Workshops (NetSoft).
[188] Fang Hao,et al. UMON: flexible and fine grained traffic monitoring in open vSwitch , 2015, CoNEXT.
[189] Bo Yang,et al. SDNShield: Reconciliating Configurable Application Permissions for SDN App Markets , 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
[190] Gustavo Augusto Lima de Campos,et al. Flow-based conflict detection in OpenFlow networks using first-order logic , 2014, 2014 IEEE Symposium on Computers and Communications (ISCC).
[191] Andreas Haeberlen,et al. Answering why-not queries in software-defined networks with negative provenance , 2013, HotNets.
[192] Martín Casado,et al. Onix: A Distributed Control Platform for Large-scale Production Networks , 2010, OSDI.
[193] Donald Beaver,et al. Dapper, a Large-Scale Distributed Systems Tracing Infrastructure , 2010 .
[194] Xiao Yu,et al. CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs , 2016, ASPLOS.
[195] Osman Hasan,et al. Applying Formal Methods to Networking: Theory, Techniques, and Applications , 2013, IEEE Communications Surveys & Tutorials.
[196] Rob Sherwood,et al. FlowVisor: A Network Virtualization Layer , 2009 .
[197] John B. Carter,et al. SDN traceroute: tracing SDN forwarding without changing network behavior , 2014, HotSDN.
[198] George Varghese,et al. P4: programming protocol-independent packet processors , 2013, CCRV.
[199] Samuel T. King,et al. Debugging the data plane with anteater , 2011, SIGCOMM 2011.
[200] Tooska Dargahi,et al. A Survey on the Security of Stateful SDN Data Planes , 2017, IEEE Communications Surveys & Tutorials.
[201] Bo Yang,et al. Compiling minimum incremental update for modular SDN languages , 2014, HotSDN.
[202] Ying Zhang,et al. Fast failover for control traffic in Software-defined Networks , 2012, 2012 IEEE Global Communications Conference (GLOBECOM).
[203] Kevin Benton,et al. OpenFlow vulnerability assessment , 2013, HotSDN '13.
[204] Albert G. Greenberg,et al. On static reachability analysis of IP networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..
[205] David Walker,et al. Compiling path queries in software-defined networks , 2014, HotSDN.
[206] Ulas C. Kozat,et al. A new control plane for 5G network architecture with a case study on unified handoff, mobility, and routing management , 2014, IEEE Communications Magazine.
[207] Sujata Banerjee,et al. Corybantic: towards the modular composition of SDN control programs , 2013, HotNets.
[208] Ted Taekyoung Kwon,et al. OpenSample: A Low-Latency, Sampling-Based Measurement Platform for Commodity SDN , 2014, 2014 IEEE 34th International Conference on Distributed Computing Systems.
[209] Myungjin Lee,et al. CherryPick: tracing packet trajectory in software-defined datacenter networks , 2015, SOSR.
[210] Martín Casado,et al. NOX: towards an operating system for networks , 2008, CCRV.
[211] Aditya Akella,et al. OpenNF: enabling innovation in network function control , 2015, SIGCOMM 2015.
[212] Ting Zhang,et al. A declarative failure recovery system in software defined networks , 2016, 2016 IEEE International Conference on Communications (ICC).
[213] Jianping Wu,et al. Formal Modeling and Systematic Black-Box Testing of SDN Data Plane , 2014, 2014 IEEE 22nd International Conference on Network Protocols.
[214] Marco Canini,et al. Automating the Testing of OpenFlow Applications , 2011 .
[215] Francisco J. Ros,et al. Five nines of southbound reliability in software-defined networks , 2014, HotSDN.
[216] Haiyong Xie,et al. SDNi: A Message Exchange Protocol for Software Defined Networks (SDNS) across Multiple Domains , 2012 .
[217] Sujata Banerjee,et al. DevoFlow: scaling flow management for high-performance networks , 2011, SIGCOMM 2011.
[218] Sharad Malik,et al. An assertion language for debugging SDN applications , 2014, HotSDN.