Gomaa et al.

An approach to model complex applications by modeling application requirements and designs separate from security requirements and designs to reduce system complexity.

Security DSLs provided by the Tool
Name
Description
Describes for use case diagrams, static models, and dynamic models security characteristics of the activities of the user, classes and functionalities in the system which are necessary to describe security relevant elements while considering separation of system and security concerns.
Security Checks provided by the Tool
Name
Description