Fast probabilistic simulation, nontermination, and secure information flow.

Geoffrey Smith Rafael Alpízar

Published in: PLAS (2007)

Keyphrases

information flow
flow analysis
information flows
flow graph
social networks
communication networks
multi threaded
probabilistic model
supply chain
information security
multi context systems
databases
random walk
anomaly detection
functional modules
information propagation