Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language.
Gilles BartheExequiel RivasPublished in: TGC (2011)
Keyphrases
- information flow
- access control policies
- object oriented programming
- flow analysis
- information flows
- social networks
- java virtual machine
- communication networks
- multi threaded
- hierarchical reinforcement learning
- programming language
- reactive systems
- optimal policy
- reinforcement learning
- functional modules
- flow graph
- temporally extended
- multi context systems
- concurrent programming
- privacy policies
- access control
- garbage collection
- information propagation
- virtual machine
- information security
- database systems
- information systems