Tools

• UMLsec Analysis Tools
• Rubacon: Automated Support for Model-based Compliance Engineering (cf our ICSE 2008 paper). Source-code. Movie on usage. Further demo in avi and mov format.
• CARiSMA: CompliAnce/Risk/Security-Model-Analyzer
• AntiPatternPatcher