Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models

Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, María Teresa Gómez López. Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models. IEEE Access, 7:26448-26465, 2019. [doi]

Authors

Angel Jesus Varela-Vaca

This author has not been identified. Look up 'Angel Jesus Varela-Vaca' in Google

Luisa Parody

This author has not been identified. Look up 'Luisa Parody' in Google

Rafael M. Gasca

This author has not been identified. Look up 'Rafael M. Gasca' in Google

María Teresa Gómez López

This author has not been identified. Look up 'María Teresa Gómez López' in Google