C Lorenz, V Clemens, M Schrötter… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Continuous verification of network security compliance is an accepted need. Especially, the
analysis of stateful packet filters plays a central role for network security in practice. But the …