TY  - RPRT
TI  - The SRI hierarchical development methodology (HDM) and its application to the development of secure software 
AU  - Levitt, Karl N
AU  - Neumann, Peter
AU  - Robinson, Lawrence
PY  - 1980
PB  - National Bureau of Standards
CY  - Gaithersburg, MD
SN  - NBS SP 500-67
DO  - 10.6028/NBS.SP.500-67
ER  -