NASA NTRS · 20060031174
Model checking for network security requirements via a flexible modeling framework
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J. D., Gilliam, D. P.. 2001-08-27. Model checking for network security requirements via a flexible modeling framework. https://ntrs.nasa.gov/citations/20060031174
Cite the original work for its findings. Save a collection to share your selection of sources.