Value-Based Constraint Control Flow Integrity.

Dongjae Jung Minsu Kim Jinsoo Jang Brent ByungHoon Kang

Published in: IEEE Access (2020)

Keyphrases

control flow
data flow
software testing
process model
business process models
modeling language
transition systems
workflow management systems
reactive systems
learning algorithm
knowledge base
multi agent
distributed systems
error rate
integrity constraints
formal semantics