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

> Research article (IEEE Access, 2019) · cited 18× · AI/ML

**Wikidata**: [openalex:W2916733625](https://www.wikidata.org/wiki/openalex:W2916733625)  
**Source**: https://4ort.xyz/entity/automatic-verification-and-diagnosis-of-security-risk-assessments-in-business-process-models