function is very broad and includes many functions that could never be
178 Software Security Assurance State-of-the-Art Report (SOAR)
Section 5 SDLC Processes and Methods and the Security of Software
evaluated by a computer, constructive mathematics is concerned only