Information Flow Monitoring as Abstract Interpretation for Relational Logic.
Andrey ChudnovGeorge KuanDavid A. NaumannPublished in: CSF (2014)
Keyphrases
- information flow
- abstract interpretation
- active rules
- termination analysis
- reasoning engine
- static analysis
- social networks
- model checking
- information security
- information flows
- relational databases
- active databases
- communication networks
- data model
- flow graph
- logic programming
- knowledge base
- object oriented databases
- deductive databases
- supply chain
- databases
- dynamic analysis
- software engineering
- relational model
- integrity constraints