Shin et al.

Models the evolution of non-secure applications into secure applications in terms of the software requirements model and software architecture model

Security DSLs provided by the Tool
Name
Description
Models the communication between components through secure connectors.
Security Checks provided by the Tool
Name
Description