A Separation Logic for Enforcing Declarative Information Flow Control Policies.
David CostanzoZhong ShaoPublished in: POST (2014)
Keyphrases
- information flow
- control policies
- reinforcement learning
- social networks
- control strategies
- control policy
- optimal policy
- action space
- information flows
- information security
- communication networks
- finite horizon
- control system
- motion control
- modal logic
- supply chain
- dynamic environments
- mobile robot
- dynamic programming
- information systems
- data mining