A Logic for Information Flow Analysis of Distributed Programs.
Musard BalliuPublished in: NordSec (2013)
Keyphrases
- flow analysis
- information flow
- spatial information
- distributed systems
- user interaction
- information sources
- domain knowledge
- peer to peer
- higher level
- information retrieval
- information processing
- cooperative
- distributed environment
- communication networks
- information resources
- website
- heterogeneous data
- heterogeneous databases
- knowledge base