Login / Signup
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