@misc{1160236,
  author = {Karl N Levitt and Peter Neumann and Lawrence Robinson},
  title = {The SRI hierarchical development methodology (HDM) and its application to the development of secure software:},
  year = {1980},
  month = {1980-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NBS.SP.500-67},
  language = {en},
}