Enforcing Information Flow by Combining Static and Dynamic Analysis.
Andrew BedfordJosée DesharnaisThéophane G. GodonouNadia TawbiPublished in: FPS (2013)
Keyphrases
- dynamic analysis
- information flow
- static analysis
- reverse engineering
- social networks
- flow analysis
- flow graph
- information flows
- communication networks
- multi context systems
- information security
- functional modules
- model checking
- supply chain
- information systems
- source code
- database
- distributed databases
- intelligent agents
- software engineering
- artificial intelligence
- machine learning