Static analysis for inference of explicit information flow.
Yin LiuAna MilanovaPublished in: PASTE (2008)
Keyphrases
- information flow
- static analysis
- dynamic analysis
- flow analysis
- social networks
- source code
- abstract interpretation
- information flows
- symbolic execution
- java card
- information security
- communication networks
- test generation
- flow graph
- supply chain
- multi threaded
- reactive systems
- regular expressions
- database
- training data
- distributed environment
- high level
- knowledge base
- information systems
- real world