Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context-Reference-Cited by-同舟云学术

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context

Published:2015 Issue: Volume: Page:253-262
ISSN:0302-9743
Container-title:Service Oriented and Cloud Computing
language:
Short-container-title:

Author:

Spinoso Serena,Virgilio Matteo,John Wolfgang,Manzalini Antonio,Marchetto Guido,Sisto Riccardo

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-24072-5_18

Reference11 articles.

1. Lecture Notes in Computer Science;L Moura de,2008

2. Jain, R., Paul, S.: Network virtualization and software defined networking for cloud computing: A survey. IEEE Communications Magazine 51(11), November 2013

3. John, W., Meirosu, C.: Unify d4.1: Initial requirements for the sp-devops concept, universal node capabilities and proposed tools (2014). https://www.fp7-unify.eu/index.php/results.html#Deliverables

4. John, W., Pentikousis, K., Agapiou, G., Jacob, E., Kind, M., Manzalini, A., Risso, F., Staessens, D., Steinert, R., Meirosu, C.: Research directions in network service chaining. In: 2013 IEEE SDN for SDN4FNS, November 2013

5. Kazemian, P., Varghese, G., McKeown, N.: Header space analysis: Static checking for networks. In: NSDI 2012. USENIX, San Jose (2012)

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

1. Lessons from the evolution of the Batfish configuration analysis tool;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09

2. Service Function Chaining security survey: Addressing security challenges and threats;Computer Networks;2023-02

3. Supporting 5G service orchestration with formal verification;Computer Science and Information Systems;2023

4. Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks;Computer Networks;2022-08

5. MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV);Computer Security – ESORICS 2022;2022