The Complexity of Quantitative Information Flow in Recursive Programs.

Rohit Chadha Michael Ummels

Published in: FSTTCS (2012)

Keyphrases

information flow
recursive programs
information flows
flow analysis
communication networks
social networks
supply chain
program synthesis
information security
flow graph
logic programs
transformation rules
metamodel
multi context systems
database
metadata
machine learning
databases