Author:
Gallardo María-del-Mar,Luque-Schempp Francisco,Merino-Gómez Pedro,Panizo Laura
Publisher
Springer International Publishing
Reference34 articles.
1. Al-Shaer, E., Al-Haj, S.: FlowChecker: configuration analysis and verification of federated OpenFlow infrastructures. In: Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2010, pp. 37–44. ACM, New York, October 2010.
https://doi.org/10.1145/1866898.1866905
2. Ball, T., et al.: VeriCon: towards verifying controller programs in software-defined networks. SIGPLAN Not. 49(6), 282–293 (2014).
https://doi.org/10.1145/2666356.2594317
3. Bochmann, G., Rayner, D., West, C.H.: Some notes on the history of protocol engineering. Comput. Netw. 54(18), 3197–3209 (2010).
https://doi.org/10.1016/j.comnet.2010.05.019
4. Canini, M., Venzano, D., Perešíni, P., Kostić, D., Rexford, J.: A NICE way to test OpenFlow applications. In: Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2012), San Jose, CA, pp. 127–140. USENIX, April 2012
5. El-Hassany, A., Miserez, J., Bielik, P., Vanbever, L., Vechev, M.: SDNRacer: concurrency analysis for software-defined networks. SIGPLAN Not. 51(6), 402–415 (2016).
https://doi.org/10.1145/2980983.2908124
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Supporting 5G service orchestration with formal verification;Computer Science and Information Systems;2023
2. The Role of Abstraction in Model Checking;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023