VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices).
Daniel SchoepeToby MurrayAndrei SabelfeldPublished in: CoRR (2020)
Keyphrases
- information flow
- information security
- social networks
- flow analysis
- supply chain
- communication networks
- multi threaded
- information flows
- security issues
- reactive systems
- intrusion detection
- multi context systems
- data processing
- decision making
- information systems
- functional modules
- database
- flow graph
- emergency management