Secure information flow by self-composition.

Gilles Barthe Pedro R. D'Argenio Tamara Rezk

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

information flow
flow analysis
social networks
information flows
communication networks
functional modules
information propagation
database systems
object oriented
reactive systems
flow graph
real world
social media
supply chain
data processing
information security