JPL Technical Report Server

Addressing software security and mitigations in the life cycle

Show simple item record Gilliam, David Powell, John Haugh, Eric Bishop, Matt 2006-02-24T16:23:42Z 2006-02-24T16:23:42Z 2003-12-03
dc.identifier.citation 28th NASA/IEEE Software Engineering Workshop, Greenbelt, Maryland, December 3-4, 2003 en
dc.identifier.clearanceno 03-3085
dc.description.abstract Traditionally, security is viewed as an organizational and Information Technology (IIJ systems function comprising of Firewalls, intrusion detection systems (IDS), system security settings and patches to the operating system (OS) and applications running on it. Until recently, little thought has been given to the importance of security as a formal approach in the software life cycle. The Jet Propulsion Laboratory has approached the problem through the development of an integrated formal Software Security Assessment Instrument (SSAI) with six foci for the software life cycle. en
dc.description.sponsorship NASA/JPL en
dc.format.extent 3896067 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2003 en
dc.subject security en
dc.subject software en
dc.subject formal methods en
dc.subject model checking en
dc.subject testing en
dc.title Addressing software security and mitigations in the life cycle en
dc.type Preprint en

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account