development for mapping one or more functional requirements to each
nonfunctional requirement that affects the functional requirements, with
security treated as just one of several types of nonfunctional requirement.
Axel van Lamsweerde et al. [177] proposed the KAOS method for modeling