otherwise extremely arcane, labor-intensive activities practical for use by
nonexperts in assuring the safety and security of larger software systems.
8.9 Requirements Engineering for Secure Software
It is widely argued that the reason software is not secure is that adequate