Praxis High Integrity Systems Ltd).
222 Software Security Assurance State-of-the-Art Report (SOAR)
Section 5 SDLC Processes and Methods and the Security of Software
260 Hermes publications web page (Hawthorne, NY: IBM Watson Research Center).