National Academy of Sciences | 150 Year Anniversary

Questions? Call 800-624-6242

About | Ordering | New

Menu menu

| Items in cart [0]

The National Academies Press

PAPERBACK
price:$34.75
add to cart

Rights & Permissions

topleft topright

Critical Code: Software Producibility for Defense (2010)
Computer Science and Telecommunications Board (CSTB)

Citation Manager

. "4 Adopt a Strategic Approach to Software Assurance." Critical Code: Software Producibility for Defense. Washington, DC: The National Academies Press, 2010.

Please select a format:

BibTeX EndNote RefMan
Page
111
bottomleft bottomright
  E-mail
Share on facebook Facebook
Share on delicious Delicious
Share on stumbleupon Stumble
Share on twitter Twitter
More Sharing ServicesMore

The following HTML text is provided to enhance online readability. Many aspects of typography translate only awkwardly to HTML. Please use the page image as the authoritative form to ensure accuracy.

Critical Code: Software Producibility for Defense

Several leading vendors have developed explicit management models to accelerate the development of assurance-related technologies and practices, to validate them on selected projects, and to transition them rapidly into broader use.31

31

Microsoft is well known for its aggressive use of development practices including process (the Security Development Lifecycle (SDL) noted earlier—see http://msdn.microsoft.com/en-us/library/ms995349.aspx) and analysis tools (such as SLAM, PreFast, and others—see, for example Thomas Ball, 2008, “The Verified Software Challenge: A Call for a Holistic Approach to Reliability,” pp. 42-48 in Verified Software: Theories, Tools, Experiments, Bertrand Meye and Jim Woodcock, eds. Berlin: Springer-Verlag).
Page
111