Program Refinement, Perfect Secrecy and Information Flow.

Annabelle McIver

Published in: SETSS (2014)

Keyphrases

information flow
social networks
flow analysis
information flows
communication networks
supply chain
data mining
functional modules
multi threaded
information security
security analysis
process management
flow graph
information diffusion
reactive systems