Skip to content

Home/Archive/NASA NTRS

NASA NTRS · 20060043132

Reducing software security risk

Gilliam, David·Powell, John·Bishop, Matt

View original source ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Explore related subjects

vulnerability matrix property-based testing model checking security verification software security security toolset

Keep this discovery

Explore connections, maps & timelines

Gilliam, David, Powell, John, Bishop, Matt. 2004-01-01. Reducing software security risk. https://ntrs.nasa.gov/citations/20060043132

Cite the original work for its findings. Save a collection to share your selection of sources.