A uniform type structure for secure information flow.

Kohei Honda Nobuko Yoshida

Published in: POPL (2002)

Keyphrases

information flow
flow graph
flow analysis
communication networks
social networks
information security
information flows
decision support
information systems
privacy preserving