Secure Tropos

Secure Tropos is an extensions to the Tropos methodology to enable it to model security concerns throughout the whole development process.

Security DSLs provided by the Tool
Name
Description
A goal-based requirements language for expressing security concerns.
Security Checks provided by the Tool
Name
Description