VMGuard: State-Based Proactive Verification of Virtual Network Isolation With Application to NFV | IEEE Journals & Magazine | IEEE Xplore