Login / Signup

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

Clara BertolissiDaniel Ricardo dos SantosSilvio Ranise
Published in: AsiaCCS (2015)
Keyphrases