Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference.

Isabella Mastroeni Michele Pasqua

Published in: SAC (2019)

Keyphrases

information flows
abstract interpretation
information flow
termination analysis
emergency response
active rules
static analysis
model checking
data analysis
integrity constraints
active databases
reasoning engine