AOD Framework
The Aspect-Oriented Design (AOD) Framework uses the Software Architecture Model (SAM) and extends it with a security aspect to enable analysis the correctness and security of the architecture design.
Security DSLs provided by the Tool
Name
Description
Defines in the SAM which information is sensitive to which action/task.
Security Checks provided by the Tool
Name
Description
No block or task should leak information to another block in the same conflict of interest class.