Login / Signup

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

Luca CompagnaDaniel Ricardo dos SantosSerena Elisa PontaSilvio Ranise
Published in: TACAS (2016)
Keyphrases