From Security-by-Design to the Identification of Security-Critical Deviations in Process Executions. - Mattia Salnitri; Mahdi Alizadeh; Daniele Giovanella; Nicola Zannone; Paolo Giorgini (CAiSE Forum, 2018)