Security validation tool for business processes.

Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta

Browse the full SACMAT paper archive.