Verification of Information Flow Properties under Rational Observation.

Béatrice Bérard John Mullins

Published in: CoRR (2014)

Keyphrases

information flow
flow analysis
information flows
social networks
supply chain
information security
communication networks
flow graph
multi threaded
functional modules
information systems
information propagation
multi agent systems
shortest path
database
metadata
decision making