ChainGuard: Controller-independent verification of service function chaining in cloud computing | IEEE Conference Publication | IEEE Xplore