An Algebraic Approach for Reasoning About Information Flow.

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

Published in: FM (2018)

Keyphrases

information flow
flow analysis
information flows
social networks
supply chain
flow graph
functional modules
information security
communication networks
multi threaded
information systems
database systems
information technology
markov chain