CORAS: A Tool-Supported Methodology for Model-Based Risk Analysis of Security Critical Systems.
The CORAS Project.
CORAS: A Platform for Risk Analysis of Security Critical Systems.
SECURIS: Model-Driven Development and Analysis of Secure Information System.