Research Catalog

The SRI hierarchical development methodology (HDM) and its application to the development of secure software /

Title
The SRI hierarchical development methodology (HDM) and its application to the development of secure software / Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards.
Author
Levitt, Karl N.
Publication
Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O., 1980.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library C 13.10:500-67Off-site

Details

Additional Authors
  • Institute for Computer Sciences and Technology. http://id.loc.gov/authorities/names/n79059666
  • Neumann, Peter, 1932-
  • Robinson, Lawrence, 1949-
  • United States. National Bureau of Standards. http://id.loc.gov/authorities/names/n79021148
Description
vi, 47 p.; 28 cm.
Series Statement
NBS special publication ; 500-67. Computer science and technology
Uniform Title
  • NBS special publication ; 500-67.
  • NBS special publication. Computer science & technology.
Subjects
Note
  • "Issued October 1980."
  • S/N 003-003-02258-6.
  • Item 247.
Bibliography (note)
  • Includes bibliographical references (p. 45-47).
LCCN
80600157
Owning Institutions
Princeton University Library