Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes.

Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise

Browse the full TACAS paper archive.