is the engineering of requirements for security as an emergent property of a
software system. Although the implementation of security functionality may
coincidentally satisfy many requirements for security as a software property,
different analyses will be needed to attain these different objectives.