Quantitative information flow as safety and liveness hyperproperties.

Hirotoshi Yasuoka Tachio Terauchi

Published in: Theor. Comput. Sci. (2014)

Keyphrases

information flow
flow analysis
information flows
social networks
communication networks
supply chain
functional modules
information systems
information security
flow graph
multi context systems
database
databases
qualitative and quantitative
knowledge discovery
object oriented