Control Flow Integrity Based on Controlled Channel.

Radu-Alexandru Mantu Dan Sporici Mihai-Daniel Chiroiu

Published in: CSCS (2019)

Keyphrases

control flow
data flow
process model
software testing
multi channel
workflow management systems
transition systems
business process models
integrity constraints
reactive systems
database
artificial intelligence
high level
software engineering
formal semantics