Certifying Information Flow Properties of Programs: An Axiomatic Approach.

Richard P. Reitman Gregory R. Andrews

Published in: POPL (1979)

Keyphrases

information flow
flow analysis
social networks
supply chain
information flows
functional modules
information security
database
flow graph
real world
information technology
multi threaded