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/creator Levitt, Karl N.
Format Book
Publication InfoWashington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O., 1980.
Descriptionvi, 47 pages ; 28 cm.
Subjects

Other author/creatorNeumann, Peter, 1932-
Other author/creatorRobinson, Lawrence, 1949-
Other author/creatorUnited States. National Bureau of Standards.
Other author/creatorInstitute for Computer Sciences and Technology (U.S.)
SeriesNBS special publication ; 500-67. Computer science and technology
NBS special publication 500-67. ^A2701
NBS special publication. Computer science & technology. ^A233467
General note"Issued October 1980."
General noteS/N 003-003-02258-6.
General noteItem 247.
Bibliography noteIncludes bibliographical references (p. 45-47).
LCCN 80600157
Govt. docs number C 13.10:500-67

Availability

Library Location Call Number Status Item Actions
Joyner Fed Docs Stacks C 13.10:500-67 ✔ Available Place Hold