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]
@article{Varela-VacaPGL19,
title = {Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models},
author = {Angel Jesus Varela-Vaca and Luisa Parody and Rafael M. Gasca and María Teresa Gómez López},
year = {2019},
doi = {10.1109/ACCESS.2019.2901408},
url = {https://doi.org/10.1109/ACCESS.2019.2901408},
researchr = {https://researchr.org/publication/Varela-VacaPGL19},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {7},
pages = {26448-26465},
}