Predictive analysis for race detection in software-defined networks-Reference-Cited by-同舟云学术

Predictive analysis for race detection in software-defined networks

Published:2019-05-08 Issue:6 Volume:62 Page:
ISSN:1674-733X
Container-title:Science China Information Sciences
language:en
Short-container-title:Sci. China Inf. Sci.

Author:

Lu Gongzheng,Xu Lei,Yang Yibiao,Xu Baowen

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11432-018-9826-x.pdf

Reference36 articles.

1. Open Networking Foundation. OpenFlow Switch Specification. version 1.3.3. 2013. https://www.opennetworking.org/wp-content/uploads/2014/10/openflow-spec-v1.3.3.pdf

2. Deng D D, Jin G L, de Kruijf M, et al. Fixing, preventing, and recovering from concurrency bugs. Sci China Inf Sci, 2015, 58: 052105

3. Wu Z D, Lu K, Wang X P. Surveying concurrency bug detectors based on types of detected bugs. Sci China Inf Sci, 2017, 60: 031101

4. Xu L, Huang J, Hong S M, et al. Attacking the brain: races in the SDN control plane. In: Proceedings of the 26th USENIX Security Symposium, Vancouver, 2017. 451–468

5. Cai Y, Cao L W. Effective and precise dynamic detection of hidden races for Java programs. In: Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, 2015. 450–461

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward Automated Attack Discovery in SDN Controllers Through Formal Verification;IEEE Transactions on Network and Service Management;2024-06

2. When debugging encounters artificial intelligence: state of the art and open challenges;Science China Information Sciences;2024-02-21

3. Timed Transition Tour for Race Detection in Distributed Systems;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023

4. Watch Out for Race Condition Attacks When Using Android External Storage;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07

5. On interleaving space exploration of multi-threaded programs;Frontiers of Computer Science;2021-02-11