ChainGuard: Controller-independent verification of service function chaining in cloud computing. - Matthias Flittner; Johannes M. Scheuermann; Robert Bauer 002 (NFV-SDN, 2017)