TY  - GEN
AU  - Levitt, Karl N
AU  - Neumann, Peter
AU  - Robinson, Lawrence
C2  - , National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1980-01-01 05:01:00
DO  - https://doi.org/10.6028/NBS.SP.500-67
LA  - en
PB  - , National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1980
TI  - The SRI hierarchical development methodology (HDM) and its application to the development of secure software:
ER  -