OSL-ISDL

An extension of the Obligation Specification Language (OSL) with references to the system design expressed in the Interaction System Design Language (ISDL)
Specurity Aspects
Name
Description
Usage control policies for ISDL models.
Specification Elements
Name
Description
Events represent actual and desired execution of activities by the system, and have parameters that characterize the behavior, entity, and information attributes.
The condition under which an action is allowed to be executed. The condition is a set of action declarations and an OSL obligational formula consisting of event matching, propositional, temporal, and cardinality operators.
An action to be executed.

  • Security Aspects

    • Usage Control Policies

      Usage control policies for ISDL models.
      Specification Elements:
      Action
      Condition
      Event
      Threats:
      Information Disclosure
      Tampering with Data

    Specification Elements

    • Event

      Events represent actual and desired execution of activities by the system, and have parameters that characterize the behavior, entity, and information attributes.
      Applies to:
      Activity
      Data
      ControlFlow

    • Condition

      The condition under which an action is allowed to be executed. The condition is a set of action declarations and an OSL obligational formula consisting of event matching, propositional, temporal, and cardinality operators.
      Applies to:

    • Action

      An action to be executed.
      Applies to:
      Activity