Work

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes