OSL-ISDL
An approach to the specification and refinement of usage control policies that starts with an abstract system model and automatically refines it to implementation-level policies using policy refinement rules.
Security DSLs provided by the Tool
Name
Description
An extension of the Obligation Specification Language (OSL) with references to the system design expressed in the Interaction System Design Language (ISDL)
Security Checks provided by the Tool
Name
Description