5.5.2 Security Analysis and Test Techniques
The following sections describe security analysis and testing techniques used
to verify the security (or non-vulnerability) of software and software-intensive
systems. Not discussed here are techniques and tools for review and verification