SRI hierarchical development methodology (HDM) and its application to the development of secure software
By: Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards Washington, DC 20234.
Contributors: Neumann, Peter G., 1932-; Robinson, Lawrence.; Institute for Computer Sciences and Technology.
Series: Computer science and technology; NBS special publication -- 500-67
Publisher: National Bureau of Standards
Published: 1980
Place of publication: Washington, DC
Language: eng