The CARiSMA tool platform support model-based security analysis based on artefacts such as BPMN and UML models.