On the expressiveness and semantics of information flow types.
Vineet RajaniDeepak GargPublished in: J. Comput. Secur. (2020)
Keyphrases
- information flow
- flow analysis
- social networks
- information flows
- dynamic aspects
- communication networks
- supply chain
- information security
- multi context systems
- expressive power
- logic programming
- multi threaded
- decision making
- flow graph
- computational properties
- functional modules
- e learning
- highly expressive
- information systems