Compile-Time Detection of Information Flow in Sequential Programs.
Jean-Pierre BanâtreCiarán BryceDaniel Le MétayerPublished in: ESORICS (1994)
Keyphrases
- information flow
- social networks
- flow analysis
- flow graph
- object detection
- information flows
- detection method
- communication networks
- multi context systems
- multi threaded
- supply chain
- information security
- information diffusion
- functional modules
- reactive systems
- intelligent agents
- detection algorithm
- decision makers
- object oriented