Addressing software security and mitigations in the life cycle

Proceedings - 28th Annual NASA Goddard Software Engineering Workshop, SEW 2003

Volumn , Issue , 2004, Pages 201-206

  Gilliam, D ^a   Powell, J ^a   Haugh, E ^b   Bishop, M ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER VIRUSES; FORMAL METHODS; INTRUSION DETECTION; LIFE CYCLE; NASA; SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

FORMAL APPROACH; INTRUSION DETECTION SYSTEMS; JET PROPULSION LABORATORY; SOFTWARE LIFE CYCLES; SOFTWARE SECURITY; SYSTEM SECURITY;

COMPUTER SYSTEM FIREWALLS;

EID: 84954446528     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2003.1270744     Document Type: Conference Paper

References (9)

1. C. Mann. "Why Software Is so Bad," Technology Review (July/August 2002).
2. G. Holzmann. Design and Validation of Computer Protocols. Prentice Hall 1990; ISBN: 0135399254
3. D. Gilliam, J. Kelly, J. Powell, M. Bishop. "Development of a Software Security Assessment Instrument to Reduce Software Security Risk" Proceedings of the Tenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Boston, MA, pp 144-149.
4. D. Gilliam, J. Powell, J. Kelly, M. Bishop. "Reducing Software Security Risk Through an Integrated Approach", IEEE Goddard 26th Annual Software Engineering Workshop.
5. Component Based Model Checking, J. Powell, D. Gilliam. Proceedings of the 6th World Conference on Integrated Design and Process Technology, June 23-28, Pasadena CA, p66 & CD
6. M. Weiser. "Program Slicing," IEEE Transactions on Software Engineering SE-10(4) pp. 352-357 (July 1984).
7. NPG 2210. "NASA Procedures and Guidelines: External Release of NASA Software," January, 2002, August 26, 1999, http://nodis3.gsfc.nasa.gov/library/lib-docs.cfm?range=2
8. NPG 7120.5B. "NASA Procedures and Guidelines: NASA Program and Project Management Processes and Requirements," November, 2002, http://nodis3.gsfc.nasa.gov/npg-img/N-PG-7120-005 B-/N-PG-7120-005B-.pdf
9. NPG 2810.1. "NASA Procedures and Guidelines: Security of Information Technology," August, 1999, http://nodis3.gsfc.nasa.gov/library/displayDir.cfm?Internal-ID=N-PG-2810-0001-&page-name=main