MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV)

Autor: Alaa Oqaily, Yosr Jarraya, Lingyu Wang, Makan Pourzandi, Suryadipta Majumdar
Rok vydání: 2022
Zdroj: Computer Security – ESORICS 2022 ISBN: 9783031171420
DOI: 10.1007/978-3-031-17143-7_23
Databáze: OpenAIRE