Levitt, K.
, Neumann, P.
and Robinson, L.
(1980),
The SRI hierarchical development methodology (HDM) and its application to the development of secure software:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NBS.SP.500-67
(Accessed December 11, 2024)