Login / Signup
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
Published in:
IEEE Access (2019)
Keyphrases
</>
business process models
business process
business processes
model based diagnosis
process model
security policies
business process management
information security
security issues
control flow
network security
security requirements
databases
intrusion detection
business rules
petri net
artificial intelligence