A Logic of Composition for Information Flow Predicates.
Ramesh V. PeriWilliam A. WulfDarrell M. KienzlePublished in: CSFW (1996)
Keyphrases
- information flow
- social networks
- information flows
- flow analysis
- supply chain
- communication networks
- horn clauses
- information security
- modal logic
- logic programming
- multi context systems
- functional modules
- inference mechanism
- predicate logic
- multi threaded
- logical formulas
- computer systems
- databases
- defeasible logic
- distributed systems
- e government
- flow graph