ChainGuard: Controller-independent verification of service function chaining in cloud computing

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]

@inproceedings{FlittnerSB17,
  title = {ChainGuard: Controller-independent verification of service function chaining in cloud computing},
  author = {Matthias Flittner and Johannes M. Scheuermann and Robert Bauer},
  year = {2017},
  doi = {10.1109/NFV-SDN.2017.8169846},
  url = {https://doi.org/10.1109/NFV-SDN.2017.8169846},
  researchr = {https://researchr.org/publication/FlittnerSB17},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2017, Berlin, Germany, November 6-8, 2017},
  publisher = {IEEE},
  isbn = {978-1-5386-3285-7},
}