Gagandeep Singh Chawla, Mengyuan Zhang, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang 0001, Mourad Debbabi. VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV. IEEE Trans. Dependable Sec. Comput., 18(4):1553-1567, 2021. [doi]
Abstract is missing.