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

JOURNAL ARTICLE published 2019 in IEEE Access

Research funded by Ministry of Science and Technology of Spain by ECLIPSE and SEQUOIA projects (TIN2015-63502-C3-2-R)

Authors: Angel J. Varela-Vaca | Luisa Parody | Rafael M. Gasca | Maria T. Gomez-Lopez