Quantitative Information Flow as Safety and Liveness Hyperproperties

Hirotoshi Yasuoka Tachio Terauchi

Published in: QAPL (2012)

Keyphrases

information flow
flow analysis
information flows
supply chain
information security
social networks
flow graph
communication networks
multi threaded
qualitative and quantitative
functional modules
process management
case study
multi context systems