A uniform type structure for secure information flow.

Kohei Honda Nobuko Yoshida

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

information flow
flow graph
communication networks
flow analysis
multi threaded
social networks
decision making
information security
information flows
information propagation