Xiaoye Sun
ABSTRACT
No abstract available.
- M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A nice way to test openflow applications. In NSDI'12: Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI'12, pages 127--140, Berkeley, CA, USA, 2012. USENIX Association. Google Scholar
Digital Library
Index Terms
- Attendre: mitigating ill effects of race conditions in openflow via queueing mechanism
Recommendations
Controlling Race Conditions in OpenFlow to Accelerate Application Verification and Packet Forwarding
OpenFlow is a Software Defined Networking (SDN) protocol that is being deployed in many network systems. SDN application verification takes an important role in guaranteeing the correctness of the application. Through our investigation, we discover that ...
Packet Reachability Verification in OpenFlow Networks
ICSCA '20: Proceedings of the 2020 9th International Conference on Software and Computer ApplicationsOpenFlow is a network technology that enables to control network equipment centrally, to realize complicated forwarding of packets and to change network topologies flexibly. In OpenFlow networks, network equipment is separated into OpenFlow switches and ...
Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks
SafeConfig '16: Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber DefenseActive Cyber Defense (ACD) reconfigures cyber systems (networks and hosts) in timely manner in order to automatically respond to cyber incidents and mitigate potential risks or attacks. However, to launch a successful cyber defense, ACD strategies need ...
Comments