Efficient and Practical Control Flow Monitoring for Program Security.

Nai Xia Bing Mao Qingkai Zeng Li Xie

Published in: ASIAN (2006)

Keyphrases

control flow
data flow
java card
software testing
monitoring system
data sets
databases
real world
process model
machine learning
workflow management systems
formal semantics