Secure Information Flow as a Safety Property.

Published in: Formal Aspects in Security and Trust (2008)

Keyphrases

information flow
flow analysis
information flows
social networks
supply chain
communication networks
flow graph
information security
functional modules
key management
reactive systems
case study
data analysis
information propagation