Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.

Roberto Barbuti Cinzia Bernardeschi Nicoletta De Francesco

Published in: Comput. J. (2004)

Keyphrases

information flow
abstract interpretation
static analysis
termination analysis
information flows
communication networks
social networks
source code
information security
business process
active rules
data mining
model checking
knowledge management
case study
reasoning engine
decision making