Symbolic quantitative information flow.

Quoc-Sang Phan Pasquale Malacaria Oksana Tkachuk Corina S. Pasareanu

Published in: ACM SIGSOFT Softw. Eng. Notes (2012)

Keyphrases

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