Model checking for network security requirements via a flexible modeling framework

This paper proposes an approach that mitigates the problem of verification of network security system properties over concurrent processes.