An Algebraic Approach for Reasoning About Information Flow.

Arthur Américo Mário S. Alvim Annabelle McIver

Published in: CoRR (2018)

Keyphrases

information flow
flow analysis
social networks
information flows
communication networks
functional modules
flow graph
supply chain
multi context systems
database
information diffusion
data mining
information security
model checking
reactive systems
data management
databases