1. Model-Based Risk Assessment—The CORAS methodology for modelbased risk assessment applies standard modeling technique ML to
form input models to risk analysis methods used in a risk management
process. The process is based on the Australian/New Zealand
Standard (AS/NZS) 4360:1999, and is aimed at assessment of securitycritical systems. The CORAS model has been tested successfully on