62 Software Security Assurance State-of-the-Art Report (SOAR)
Section 4 Secure Systems Engineering
tamper-resistance and formal methods, to applied psychology,
organizational and audit methods and the law…