Secure Information Flow as Typed Process Behaviour.

Kohei Honda Vasco Thudichum Vasconcelos Nobuko Yoshida

Published in: ESOP (2000)

Keyphrases

information flow
higher order
social networks
metadata
functional modules
information flows
database
databases
data management
data processing
development process
greedy algorithm
communication networks
flow analysis
flow graph