feel free to go through a mental process that includes stating all of the negative
and nonfunctional requirements that are crucial to defining the constraints on
software behavior that results in its being secure. The next step, then, is to analyze
those negative and nonfunctional requirements in order to map them to positive