NASA NTRS · 20060031206
Model checking for network security requirements via a flexible modeling framework
Abstract
This paper proposes an approach that mitigates the problem of verification of network security system properties over concurrent processes.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J., Gilliam, D.. 2001-08-27. Model checking for network security requirements via a flexible modeling framework. https://ntrs.nasa.gov/citations/20060031206
Cite the original work for its findings. Save a collection to share your selection of sources.