UMLS
Support the development of software applications that takes into account confidentiality issues, and how the developed code can be automatically verified.
Security DSLs provided by the Tool
Name
Description
Uses the Unified Modelling Language (UML) together with annotations to permit confidentiality to be considered during the whole development process from requirements to code.
Security Checks provided by the Tool
Name
Description