Compositional Information Flow Monitoring for Reactive Programs.
McKenna McCallAbhishek BichhawatLimin JiaPublished in: EuroS&P (2022)
Keyphrases
- information flow
- reactive systems
- social networks
- monitoring system
- communication networks
- flow analysis
- information flows
- supply chain
- real time
- information security
- flow graph
- multi context systems
- data mining
- functional modules
- information diffusion
- propositional logic
- information propagation
- multi threaded
- databases