Matthias Flittner, Johannes M. Scheuermann, Robert Bauer. ChainGuard: Controller-independent verification of service function chaining in cloud computing. In 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2017, Berlin, Germany, November 6-8, 2017. pages 1-7, IEEE, 2017. [doi]
Abstract is missing.