PbSDA Pattern-based approach for modeling and verifying database schemata complying with the organizational security policies regarding authorization. |  |
Security DSLs provided by the Tool
Name
Description
Describes role-based access control for objects and actors in the system.
Security Checks provided by the Tool
Name
Description