Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security.
Robert SisonToby MurrayPublished in: ITP (2019)
Keyphrases
- information flow
- information security
- flow analysis
- information flows
- multi threaded
- social networks
- programming language
- functional modules
- communication networks
- software systems
- flow graph
- model checking
- emergency management
- intrusion detection
- supply chain
- information technology
- reactive systems
- decision making
- information systems