PV2 ⊧ Cerberussynthesises run-time monitors for enforcing authorization policies

Application domain/field

• Business processes (BPs)
• Workflow
• Authorization policy
• Workflow management (WFM) systems
• Run-time monitoring
• Security-sensitive workflows
• Synthesis

Type of tool

Synthesis tool?

Expected input

Workflow model

Format:

Modeling language, e.g. BPMN or YAWL

Expected output

Run-time monitor, output in SQL

Internals

Cerberus synthesizes monitors for security-sensitive workflows. These run-time monitors can be used to enforce authorization policies/constraints.