Service Function Chaining security survey: Addressing security challenges and threats

M Pattaranantakul, C Vorakulpipat, T Takahashi - Computer Networks, 2023 - Elsevier
Abstract Service function chaining (SFC) is a trending paradigm and it has attracted
considerable attention from both the industry and academia because of its potential to …

A survey on network verification and testing with formal methods: Approaches and challenges

Y Li, X Yin, Z Wang, J Yao, X Shi, J Wu… - … Surveys & Tutorials, 2018 - ieeexplore.ieee.org
Networks have grown increasingly complicated. Violations of intended policies can
compromise network availability and network reliability. Network operators need to ensure …

Network services anomalies in NFV: Survey, taxonomy, and verification methods

M Zoure, T Ahmed, L Réveillère - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Network Function Virtualization (NFV) has emerged as a disruptive networking architecture
whose galloping evolution is prompting enterprises to outsource network functions to the …

Supporting diverse dynamic intent-based policies using janus

A Abhashkumar, JM Kang, S Banerjee… - Proceedings of the 13th …, 2017 - dl.acm.org
Existing network policy abstractions handle basic group based reachability and access
control list based security policies. However, QoS policies as well as dynamic policies are …

Octans: Optimal Placement of Service Function Chains in Many-Core Systems

H Yu, Z Zheng, J Shen, C Miao, C Sun… - … on Parallel and …, 2021 - ieeexplore.ieee.org
Network Function Virtualization (NFV) offers service delivery flexibility and reduces overall
costs by running service function chains (SFCs) on commodity servers with many cores …

Formal methods for network performance analysis

MT Arashloo, R Beckett, R Agarwal - 20th USENIX Symposium on …, 2023 - usenix.org
Accurate and thorough analysis of network performance is challenging. Network simulations
and emulations can only cover a subset of the continuously evolving set of workloads …

ChainGuard: Controller-independent verification of service function chaining in cloud computing

M Flittner, JM Scheuermann… - 2017 IEEE Conference on …, 2017 - ieeexplore.ieee.org
Due to the abstraction of physical resources and heavy use of virtualization in the context of
Service Function Chaining (SFC), verification of the processing and that forwarding of traffic …

SLA management procedures in 5G slicing-based systems

A Papageorgiou… - … on Networks and …, 2020 - ieeexplore.ieee.org
As is the case for Web services and Cloud services, network slices that are marketed and
provisioned in an automated manner need to be accompanied by a Service-Level …

Caught-in-Translation (CiT): Detecting Cross-level Inconsistency Attacks in Network Functions Virtualization (NFV)

S Lakshmanan, M Zhang, S Majumdar… - … on Dependable and …, 2023 - ieeexplore.ieee.org
As one of the main technology pillars of 5G networks, Network Functions Virtualization (NFV)
enables agile and cost-effective deployment of network services. However, the multi-level …

Modeling and mitigating security threats in network functions virtualization (NFV)

N Alhebaishi, L Wang, S Jajodia - … and Privacy XXXIV: 34th Annual IFIP …, 2020 - Springer
By virtualizing proprietary hardware networking devices, Network Functions Virtualization
(NFV) allows agile and cost-effective deployment of diverse network services for multiple …