Nicolas Herbaut, Camilo Correa, Jacques Robin, Raúl Mazo. SDN Intent-based conformance checking: application to security policies. In Kohei Shiomoto, Young-Tak Kim, Christian Esteve Rothenberg, Barbara Martini, Eiji Oki, Baek-Young Choi, Noriaki Kamiyama, Stefano Secci, editors, 7th IEEE International Conference on Network Softwarization, NetSoft 2021, Tokyo, Japan, June 28 - July 2, 2021. pages 181-185, IEEE, 2021. [doi]
Abstract is missing.