The SRI hierarchical development methodology (HDM) and its application to the development of secure software /


Autoria(s): Levitt, Karl N.; Robinson, Lawrence, 1949-; Neumann, Peter, 1932-; Institute for Computer Sciences and Technology.; United States. National Bureau of Standards.
Data(s)

02/10/1980

Resumo

Item 247.

S/N 003-003-02258-6.

Sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards.

"Issued October 1980."

Includes bibliographical references (p. 45-47).

Mode of access: Internet.

Formato

bib

bib

bib

bib

Identificador

http://hdl.handle.net/2027/psia.ark:/13960/t0zp5kt6z

http://hdl.handle.net/2027/uiug.30112075693785

http://hdl.handle.net/2027/mdp.39015077588054

http://hdl.handle.net/2027/uc1.31210023556390

URN:ISBN:

Idioma(s)

eng

Publicador

Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O.,

Direitos

Items in this record are available as Google-digitized, and as Public Domain. View the access and use profile at http://www.hathitrust.org/access_use#pd-google, and http://www.hathitrust.org/access_use#pd. Please see individual items for rights and use statements.

Palavras-Chave #Computer security. #Computer programming
Tipo

text