Noninterference through flow analysis.

Kohei Honda Nobuko Yoshida

Published in: J. Funct. Program. (2005)

Keyphrases

flow analysis
information flow
security policies
forensic analysis
network security
distributed systems