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

Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise

Browse the full CCS paper archive.