Semantics and Enforcement of Expressive Information Flow Policies.
Anindya BanerjeePublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- information flow
- access control policies
- highly expressive
- information flows
- social networks
- communication networks
- privacy policies
- flow analysis
- supply chain
- dynamic aspects
- optimal policy
- reactive systems
- xml keys
- multi threaded
- logic programming
- access control
- information security
- flow graph
- multi context systems
- data model