TY - RPRT TI - Tools and techniques for the development of secure software. AU - J Davey PY - 1994 UR - https://pubmed.ncbi.nlm.nih.gov/8188411/ ID - 8188411 ER -