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, DC : United States Government Printing Office, 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
  • Neumann, Peter, 1932-
  • Robinson, Lawrence, 1949-
  • United States. National Bureau of Standards, sponsor.
  • Institute for Computer Sciences and Technology, sponsor.
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.
Subject
  • Computer programming > Management
  • Computer security
  • Computer Security
  • Sécurité informatique
  • COMPUTER PROGRAMMING
  • COMPUTERS
  • INFORMATION MANAGEMENT
  • SECURITY
Note
  • "Issued October 1980."
  • S/N 003-003-02258-6.
  • Item 247.
Bibliography (note)
  • Includes bibliographical references (p. 45-47).
LCCN
80600157
OCLC
  • ocm07345206
  • 7345206
  • SCSB-1510938
Owning Institutions
Princeton University Library