Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission).

Published in: Haifa Verification Conference (2017)

Keyphrases

malicious attacks
control flow
probabilistic model
data flow
process model
software testing
language model
bayesian networks
transition systems
modeling language
workflow management systems
business process models
reactive systems
data sets
training data
machine learning
real world
acceptance rate
databases